Functions |
void | Gecode::dom (Home home, IntVar x, int n, IntConLevel icl=ICL_DEF) |
| Propagates .
|
void | Gecode::dom (Home home, const IntVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all .
|
void | Gecode::dom (Home home, IntVar x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates .
|
void | Gecode::dom (Home home, const IntVarArgs &x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates for all .
|
void | Gecode::dom (Home home, IntVar x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates .
|
void | Gecode::dom (Home home, const IntVarArgs &x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates for all .
|
void | Gecode::dom (Home home, IntVar x, int n, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for .
|
void | Gecode::dom (Home home, IntVar x, int l, int m, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for .
|
void | Gecode::dom (Home home, IntVar x, const IntSet &s, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for .
|