|
| void | Gecode::dom (Home home, IntVar x, int n, IntConLevel icl=ICL_DEF) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const IntVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| | Propagates for all . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, int l, int m, IntConLevel icl=ICL_DEF) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const IntVarArgs &x, int l, int m, IntConLevel icl=ICL_DEF) |
| | Propagates for all . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const IntVarArgs &x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| | Propagates for all . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, int n, Reify r, IntConLevel icl=ICL_DEF) |
| | Post domain consistent propagator for . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, int l, int m, Reify r, IntConLevel icl=ICL_DEF) |
| | Post domain consistent propagator for . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, const IntSet &s, Reify r, IntConLevel icl=ICL_DEF) |
| | Post domain consistent propagator for . More...
|
| |
| void | Gecode::dom (Home home, IntVar x, IntVar d, IntConLevel icl=ICL_DEF) |
| | Constrain domain of x according to domain of d. More...
|
| |
| void | Gecode::dom (Home home, BoolVar x, BoolVar d, IntConLevel icl=ICL_DEF) |
| | Constrain domain of x according to domain of d. More...
|
| |
| void | Gecode::dom (Home home, const IntVarArgs &x, const IntVarArgs &d, IntConLevel icl=ICL_DEF) |
| | Constrain domain of according to domain of for all . More...
|
| |
| void | Gecode::dom (Home home, const BoolVarArgs &x, const BoolVarArgs &d, IntConLevel icl=ICL_DEF) |
| | Constrain domain of according to domain of for all . More...
|
| |