Distinctness constraints
[Using finite integer sets]
Functions | |
void | Gecode::atmostOne (Space *home, const SetVarArgs &x, unsigned int c) |
Post propagator for and . |
Function Documentation
void Gecode::atmostOne | ( | Space * | home, | |
const CpltSetVarArgs & | x, | |||
unsigned int | c | |||
) |