C++ Reference: class AllDifferentConstraint

Note: This documentation is automatically generated.

Implementation of AllDifferentAC().
Method
AllDifferentConstraint

Arguments: std::vector<IntegerVariable> variables, IntegerEncoder* encoder, Trail* trail, IntegerTrail* integer_trail

Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher