| 255 | } |
| 256 | |
| 257 | void |
| 258 | SetTestSpace::assign(const SetAssignment& a, Gecode::Support::RandomGenerator& rand) { |
| 259 | for (int i=a.size(); i--; ) { |
| 260 | CountableSetRanges csv(a.lub, a[i]); |
| 261 | Gecode::IntSet ai(csv); |
| 262 | rel(i, Gecode::SRT_EQ, ai); |
| 263 | if (Base::fixpoint(rand) && failed()) |
| 264 | return; |
| 265 | } |
| 266 | for (int i=withInt; i--; ) { |
| 267 | rel(i, Gecode::IRT_EQ, a.ints()[i]); |
| 268 | if (Base::fixpoint(rand) && failed()) |
| 269 | return; |
| 270 | } |
| 271 | } |
| 272 | |
| 273 | bool |
| 274 | SetTestSpace::assigned(void) const { |