Post constraint on \a x
| 59 | } |
| 60 | /// Post constraint on \a x |
| 61 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 62 | using namespace Gecode; |
| 63 | IntVarArgs y(6); |
| 64 | y[0]=x[0]; y[1]=y[3]=x[1]; y[2]=y[4]=y[5]=x[2]; |
| 65 | unshare(home, y, ipl); |
| 66 | for (int i=0; i<6; i++) |
| 67 | rel(home, y[i], IRT_EQ, x[3+i], IPL_DOM); |
| 68 | } |
| 69 | }; |
| 70 | |
| 71 | /// %Test for unsharing Boolean variables |