Post constraint on \a x
| 323 | } |
| 324 | /// Post constraint on \a x |
| 325 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 326 | Gecode::IntVarArgs y(4); |
| 327 | for (int i=0; i<4; i++) |
| 328 | y[i]=x[i]; |
| 329 | Gecode::count(home, y, x[1], irt, x[4]); |
| 330 | } |
| 331 | }; |
| 332 | |
| 333 | /// %Test number of equal variables equal to integer variable with sharing |