|
| void | Gecode::dom (Home home, SetVar x, SetRelType r, int i) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i) |
| | Propagates for all . More...
|
| |
| void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j) |
| | Propagates for all . More...
|
| |
| void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| | Propagates . More...
|
| |
| void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s) |
| | Propagates for all . More...
|
| |
| 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::dom (Home home, SetVar x, SetRelType rt, int i, Reify r) |
| | Post propagator for . More...
|
| |
| void | Gecode::dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r) |
| | Post propagator for . More...
|
| |
| void | Gecode::dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r) |
| | Post propagator for . More...
|
| |
| void | Gecode::dom (Home home, SetVar x, SetVar d) |
| | Constrain domain of x according to domain of d. More...
|
| |
| void | Gecode::dom (Home home, const SetVarArgs &x, const SetVarArgs &d) |
| | Constrain domain of according to domain of for all . More...
|
| |