Post constraint on \a x
| 297 | } |
| 298 | /// Post constraint on \a x |
| 299 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 300 | Gecode::IntVarArgs y(3); |
| 301 | for (int i=0; i<3; i++) |
| 302 | y[i]=x[i]; |
| 303 | Gecode::count(home, y, x[3], irt, 2, ipl); |
| 304 | } |
| 305 | }; |
| 306 | |
| 307 | /// %Test number of equal variables equal to integer variable with sharing |