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