
Functions | |
| void | Gecode::atmostOne (Home home, const SetVarArgs &x, unsigned int c) |
Post propagator for and . More... | |
| void Gecode::atmostOne | ( | Home | home, |
| const SetVarArgs & | xa, | ||
| unsigned int | c | ||
| ) |
Post propagator for
and
.
Definition at line 45 of file distinct.cpp.