![]() |
OR-Tools
8.2
|
Definition at line 239 of file integer_expr.h.
Public Member Functions | |
DivisionPropagator (IntegerVariable a, IntegerVariable b, IntegerVariable c, IntegerTrail *integer_trail) | |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
DivisionPropagator | ( | IntegerVariable | a, |
IntegerVariable | b, | ||
IntegerVariable | c, | ||
IntegerTrail * | integer_trail | ||
) |
Definition at line 768 of file integer_expr.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 777 of file integer_expr.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 808 of file integer_expr.cc.