(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...
|
| |