Post constraint on \a x
| 99 | } |
| 100 | /// Post constraint on \a x |
| 101 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y) { |
| 102 | Gecode::min(home, x[0], y[0]); |
| 103 | } |
| 104 | /// Post reified constraint on \a x |
| 105 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y, |
| 106 | Reify r) { |