Post constraint on \a xy
| 118 | } |
| 119 | /// Post constraint on \a xy |
| 120 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& xy) { |
| 121 | int n = xy.size() - 1; |
| 122 | Gecode::IntVarArgs x(n); |
| 123 | for (int i=n; i--; ) |
| 124 | x[i] = xy[i]; |
| 125 | Gecode::nvalues(home, x, irt, xy[n]); |
| 126 | } |
| 127 | }; |
| 128 | |
| 129 | /// %Test number of values of Boolean variables equal to integer |