![]() |
OR-Tools
8.2
|
Definition at line 195 of file disjunctive.h.
Public Member Functions | |
CombinedDisjunctive (Model *model) | |
void | AddNoOverlap (const std::vector< IntervalVariable > &var) |
bool | Propagate () final |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
|
explicit |
Definition at line 321 of file disjunctive.cc.
void AddNoOverlap | ( | const std::vector< IntervalVariable > & | var | ) |
Definition at line 333 of file disjunctive.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 344 of file disjunctive.cc.