Post constraint on \a x
| 67 | } |
| 68 | /// Post constraint on \a x |
| 69 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 70 | using namespace Gecode; |
| 71 | int n=x.size() >> 1; |
| 72 | IntVarArgs y(n); IntVarArgs z(n); |
| 73 | for (int i=0; i<n; i++) { |
| 74 | y[i]=x[i]; z[i]=x[n+i]; |
| 75 | } |
| 76 | lex(home, y, irt, z); |
| 77 | } |
| 78 | }; |
| 79 | |
| 80 | /// %Test for relation between arrays of Boolean variables |