Distinctness constraints
[Using finite integer sets]
Collaboration diagram for Distinctness constraints:
Functions | |
void | Gecode::atmostOne (Space *home, const SetVarArgs &x, unsigned int c) |
Post propagator for and . | |
void | Gecode::distinct (Space *home, const SetVarArgs &x, unsigned int c) |
Post propagator for and . |
Function Documentation
|
Post propagator for and .
Definition at line 29 of file distinct.cc. |
|
Post propagator for and .
Definition at line 38 of file distinct.cc. |