pumpkin_core/propagators/disjunctive/
disjunctive_task.rs

1use std::fmt::Debug;
2
3use crate::engine::propagation::LocalId;
4
5#[derive(Debug, Clone)]
6pub struct ArgDisjunctiveTask<Var> {
7    pub start_time: Var,
8    pub processing_time: i32,
9}
10
11#[derive(Clone, Debug)]
12pub(super) struct DisjunctiveTask<Var> {
13    pub(crate) start_time: Var,
14    pub(crate) processing_time: i32,
15    pub(crate) id: LocalId,
16}