Post constraint on \a x
| 159 | } |
| 160 | /// Post constraint on \a x |
| 161 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 162 | using namespace Gecode; |
| 163 | BoolVarArgs y(x.size()); |
| 164 | for (int i=x.size(); i--; ) |
| 165 | y[i] = channel(home, x[i]); |
| 166 | nvalues(home, y, irt, m); |
| 167 | } |
| 168 | }; |
| 169 | |
| 170 | /// %Test number of values of Boolean variables equal to integer variable |