Skip to main content

pumpkin_propagators/propagators/disjunctive/
disjunctive_task.rs

1use std::fmt::Debug;
2
3use pumpkin_core::propagation::LocalId;
4
5/// Defines the input of the Disjunctive constraint.
6///
7/// Each task has a variable starting time and a constant processing time.
8#[derive(Debug, Clone)]
9pub struct ArgDisjunctiveTask<Var> {
10    pub start_time: Var,
11    pub processing_time: i32,
12}
13
14#[derive(Clone, Debug)]
15pub(super) struct DisjunctiveTask<Var> {
16    pub(crate) start_time: Var,
17    pub(crate) processing_time: i32,
18    pub(crate) id: LocalId,
19}