Post constraint on \a x
| 63 | } |
| 64 | /// Post constraint on \a x |
| 65 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 66 | using namespace Gecode; |
| 67 | order(home, x[0], p0, x[1], p1, channel(home, x[2])); |
| 68 | } |
| 69 | }; |
| 70 | /// Help class to create and register tests |
| 71 | class Create { |