![]() |
OR-Tools
8.2
|
Definition at line 62 of file all_different.h.
Public Member Functions | |
AllDifferentConstraint (std::vector< IntegerVariable > variables, IntegerEncoder *encoder, Trail *trail, IntegerTrail *integer_trail) | |
bool | Propagate () final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
AllDifferentConstraint | ( | std::vector< IntegerVariable > | variables, |
IntegerEncoder * | encoder, | ||
Trail * | trail, | ||
IntegerTrail * | integer_trail | ||
) |
Definition at line 89 of file all_different.cc.
|
finalvirtual |
Implements PropagatorInterface.
Definition at line 237 of file all_different.cc.
void RegisterWith | ( | GenericLiteralWatcher * | watcher | ) |
Definition at line 148 of file all_different.cc.