![]() |
OR-Tools
8.2
|
Public Member Functions | |
NonOverlappingRectanglesEnergyPropagator (SchedulingConstraintHelper *x, SchedulingConstraintHelper *y) | |
~NonOverlappingRectanglesEnergyPropagator () override | |
bool | Propagate () final |
int | RegisterWith (GenericLiteralWatcher *watcher) |
virtual bool | IncrementalPropagate (const std::vector< int > &watch_indices) |
|
override |
Definition at line 172 of file sat/diffn.cc.
|
inlinevirtualinherited |
Reimplemented in CircuitPropagator, CircuitCoveringPropagator, SchedulingConstraintHelper, and LinearProgrammingConstraint.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 175 of file sat/diffn.cc.
int RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 216 of file sat/diffn.cc.