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 ![]() ![]() | |
void | Gecode::distinct (Space *home, const SetVarArgs &x, unsigned int c) |
Post propagator for ![]() ![]() |
Function Documentation
void Gecode::atmostOne | ( | Space * | home, | |
const SetVarArgs & | xa, | |||
unsigned int | c | |||
) |
void Gecode::distinct | ( | Space * | home, | |
const SetVarArgs & | xa, | |||
unsigned int | c | |||
) |