![]() |
OR-Tools
8.2
|
Definition at line 263 of file disjunctive.h.
Public Member Functions | |
DisjunctivePrecedences (bool time_direction, SchedulingConstraintHelper *helper, IntegerTrail *integer_trail, PrecedencesPropagator *precedences) | |
bool | Propagate () final |
int | RegisterWith (GenericLiteralWatcher *watcher) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
|
inline |
Definition at line 265 of file disjunctive.h.
|
inlinevirtualinherited |
Reimplemented in LinearProgrammingConstraint, SchedulingConstraintHelper, CircuitCoveringPropagator, and CircuitPropagator.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 872 of file disjunctive.cc.
int RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 983 of file disjunctive.cc.