| 265 | } |
| 266 | |
| 267 | void |
| 268 | TestSpace::bound(Gecode::Support::RandomGenerator& rand) { |
| 269 | using namespace Gecode; |
| 270 | int i = rndvar(rand); |
| 271 | bool min = rand(2); |
| 272 | rel(i, IRT_EQ, min ? x[i].min() : x[i].max()); |
| 273 | } |
| 274 | |
| 275 | void |
| 276 | TestSpace::prune(int i, bool bounds_only, Gecode::Support::RandomGenerator& rand) { |