| 329 | } |
| 330 | |
| 331 | void |
| 332 | TestSpace::prune(int i, Gecode::Support::RandomGenerator& rand) { |
| 333 | using namespace Gecode; |
| 334 | // Prune values |
| 335 | if (rand(2) && !x[i].assigned()) { |
| 336 | Gecode::FloatNum v= randFValUp(x[i].min(), x[i].max(), rand); |
| 337 | assert((v >= x[i].min()) && (v <= x[i].max())); |
| 338 | rel(i, Gecode::FRT_LQ, v); |
| 339 | } |
| 340 | if (rand(2) && !x[i].assigned()) { |
| 341 | Gecode::FloatNum v= randFValDown(x[i].min(), x[i].max(), rand); |
| 342 | assert((v <= x[i].max()) && (v >= x[i].min())); |
| 343 | rel(i, Gecode::FRT_GQ, v); |
| 344 | } |
| 345 | } |
| 346 | |
| 347 | void |
| 348 | TestSpace::prune(Gecode::Support::RandomGenerator& rand) { |