| 36 | namespace Gecode { |
| 37 | |
| 38 | void |
| 39 | IntMinimizeSpace::constrain(const Space& _best) { |
| 40 | const IntMinimizeSpace* best = |
| 41 | dynamic_cast<const IntMinimizeSpace*>(&_best); |
| 42 | if (best == nullptr) |
| 43 | throw DynamicCastFailed("IntMinimizeSpace::constrain"); |
| 44 | rel(*this, cost(), IRT_LE, best->cost().val()); |
| 45 | } |
| 46 | |
| 47 | |
| 48 | void |