Post constraint on \a x
| 190 | } |
| 191 | /// Post constraint on \a x |
| 192 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 193 | Gecode::IntVarArgs y(4); |
| 194 | for (int i=0; i<4; i++) |
| 195 | y[i]=x[i]; |
| 196 | Gecode::count(home, y, ints, irt, 2); |
| 197 | } |
| 198 | }; |
| 199 | |
| 200 | /// %Test number of several equal integers equal to integer variable |