(Revision: 13516)
Go to the source code of this file.
|
| Gecode |
| Gecode toplevel namespace
|
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|