Post constraint on \a x
| 443 | } |
| 444 | /// Post constraint on \a x |
| 445 | virtual void post(Space& home, SetVarArray& x, IntVarArray&) { |
| 446 | if (x.size() == 1) |
| 447 | Gecode::dom(home, x[0], srt, is); |
| 448 | else |
| 449 | Gecode::dom(home, x, srt, is); |
| 450 | } |
| 451 | /// Post reified constraint on \a x for \a b |
| 452 | virtual void post(Space& home, SetVarArray& x, IntVarArray&, Reify r) { |
| 453 | assert(x.size() == 1); |