Post constraint on \a x
| 135 | } |
| 136 | /// Post constraint on \a x |
| 137 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 138 | Gecode::IntVarArgs y(4); |
| 139 | for (int i=0; i<4; i++) |
| 140 | y[i]=x[i]; |
| 141 | Gecode::count(home, y, 0, irt, x[4]); |
| 142 | } |
| 143 | }; |
| 144 | |
| 145 | /// %Test number of integers contained in an integer set equal to integer variable |