Post constraint on \a x
| 141 | } |
| 142 | /// Post constraint on \a x |
| 143 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y) { |
| 144 | Gecode::max(home, x[0], y[0]); |
| 145 | } |
| 146 | /// Post reified constraint on \a x |
| 147 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y, |
| 148 | Reify r) { |