|
| void | Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x) |
| | Post propagator for . More...
|
| |
| void | Gecode::Set::Int::remin (Home home, SetVar s, IntVar m, Reify r) |
| | Reify m to be the minimum of s. More...
|
| |
| void | Gecode::Set::Int::remax (Home home, SetVar s, IntVar m, Reify r) |
| | Reify m to be the maximum of s. More...
|
| |
| void | Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x, Reify r) |
| | Post reified propagator for . More...
|
| |
| void | Gecode::min (Home home, SetVar s, IntVar x) |
| |
| void | Gecode::notMin (Home home, SetVar s, IntVar x) |
| |
| void | Gecode::min (Home home, SetVar s, IntVar x, Reify r) |
| |
| void | Gecode::max (Home home, SetVar s, IntVar x) |
| |
| void | Gecode::notMax (Home home, SetVar s, IntVar x) |
| |
| void | Gecode::max (Home home, SetVar s, IntVar x, Reify r) |
| |
| void | Gecode::weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
| |