pumpkin-propagators 0.5.0

The propagators of the Pumpkin constraint programming solver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use std::fmt::Debug;

use pumpkin_core::propagation::LocalId;

/// Defines the input of the Disjunctive constraint.
///
/// Each task has a variable starting time and a constant processing time.
#[derive(Debug, Clone)]
pub struct ArgDisjunctiveTask<Var> {
    pub start_time: Var,
    pub processing_time: i32,
}

#[derive(Clone, Debug)]
pub(super) struct DisjunctiveTask<Var> {
    pub(crate) start_time: Var,
    pub(crate) processing_time: i32,
    pub(crate) id: LocalId,
}