![]() |
OR-Tools
8.2
|
Definition at line 70 of file cp_constraints.h.
Public Member Functions | |
GreaterThanAtLeastOneOfPropagator (IntegerVariable target_var, const absl::Span< const IntegerVariable > vars, const absl::Span< const IntegerValue > offsets, const absl::Span< const Literal > selectors, const absl::Span< const Literal > enforcements, Model *model) | |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
GreaterThanAtLeastOneOfPropagator | ( | IntegerVariable | target_var, |
const absl::Span< const IntegerVariable > | vars, | ||
const absl::Span< const IntegerValue > | offsets, | ||
const absl::Span< const Literal > | selectors, | ||
const absl::Span< const Literal > | enforcements, | ||
Model * | model | ||
) |
Definition at line 79 of file cp_constraints.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 92 of file cp_constraints.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 137 of file cp_constraints.cc.