Distinct constraints
[Using finite domain integers]
Collaboration diagram for Distinct constraints:
Functions | |
void | Gecode::distinct (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() ![]() | |
void | Gecode::distinct (Space *home, const IntArgs &n, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() ![]() |
Function Documentation
|
Post propagator for Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain-consistency (icl = ICL_DOM). Definition at line 31 of file distinct.cc. |
|
Post propagator for
Definition at line 47 of file distinct.cc. |