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