
Go to the source code of this file.
Functions | |
| void | Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
Propagates . More... | |
| void | Gecode::cardinality (Home home, const SetVarArgs &x, unsigned int i, unsigned int j) |
Propagates for all . More... | |
| void | Gecode::cardinality (Home home, SetVar s, IntVar x) |
| void | Gecode::cardinality (Home home, SetVar s, IntVar x, Reify r) |
Propagates
.
Definition at line 44 of file cardinality.cpp.
| void Gecode::cardinality | ( | Home | home, |
| const SetVarArgs & | x, | ||
| unsigned int | i, | ||
| unsigned int | j | ||
| ) |
Propagates
for all
.
Definition at line 54 of file cardinality.cpp.
Definition at line 66 of file cardinality.cpp.