![]() |
OR-Tools
8.2
|
Definition at line 50 of file integer_expr.h.
Public Member Functions | |
IntegerSumLE (const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, IntegerValue upper_bound, Model *model) | |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
bool | PropagateAtLevelZero () |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
IntegerSumLE | ( | const std::vector< Literal > & | enforcement_literals, |
const std::vector< IntegerVariable > & | vars, | ||
const std::vector< IntegerValue > & | coeffs, | ||
IntegerValue | upper_bound, | ||
Model * | model | ||
) |
Definition at line 30 of file integer_expr.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 78 of file integer_expr.cc.
bool PropagateAtLevelZero | ( | ) |
Definition at line 194 of file integer_expr.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 236 of file integer_expr.cc.