Post constraint on \a x
| 342 | } |
| 343 | /// Post constraint on \a x |
| 344 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y) { |
| 345 | if (!swapped) |
| 346 | Gecode::rel(home, x[0], irt, y[0]); |
| 347 | else |
| 348 | Gecode::rel(home, y[0], irt, x[0]); |
| 349 | } |
| 350 | /// Post reified constraint on \a x for \a r |
| 351 | virtual void post(Space& home, SetVarArray& x, IntVarArray& y, |
| 352 | Reify r) { |