| 358 | } |
| 359 | |
| 360 | void |
| 361 | TestSpace::disable(void) { |
| 362 | Gecode::PropagatorGroup::all.disable(*this); |
| 363 | (void) status(); |
| 364 | } |
| 365 | |
| 366 | bool |
| 367 | TestSpace::disabled(const Assignment& a, TestSpace& c, bool testfix, Gecode::Support::RandomGenerator& rand) { |