![]() |
OR-Tools
8.2
|
Definition at line 183 of file integer_expr.h.
Public Member Functions | |
LinMinPropagator (const std::vector< LinearExpression > &exprs, IntegerVariable min_var, Model *model) | |
LinMinPropagator (const LinMinPropagator &)=delete | |
LinMinPropagator & | operator= (const LinMinPropagator &)=delete |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
LinMinPropagator | ( | const std::vector< LinearExpression > & | exprs, |
IntegerVariable | min_var, | ||
Model * | model | ||
) |
Definition at line 412 of file integer_expr.cc.
|
delete |
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
delete |
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 516 of file integer_expr.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 602 of file integer_expr.cc.