![]() |
OR-Tools
8.2
|
Public Member Functions | |
NonOverlappingRectanglesDisjunctivePropagator (bool strict, SchedulingConstraintHelper *x, SchedulingConstraintHelper *y, Model *model) | |
~NonOverlappingRectanglesDisjunctivePropagator () override | |
bool | Propagate () final |
void | Register (int fast_priority, int slow_priority) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
NonOverlappingRectanglesDisjunctivePropagator | ( | bool | strict, |
SchedulingConstraintHelper * | x, | ||
SchedulingConstraintHelper * | y, | ||
Model * | model | ||
) |
Definition at line 294 of file sat/diffn.cc.
|
override |
Definition at line 313 of file sat/diffn.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 454 of file sat/diffn.cc.
void Register | ( | int | fast_priority, |
int | slow_priority | ||
) |
Definition at line 316 of file sat/diffn.cc.