| 121 | } |
| 122 | |
| 123 | void |
| 124 | RBS::constrain(const Space& b) { |
| 125 | if (!best) |
| 126 | throw NoBest("RBS::constrain"); |
| 127 | if (last != nullptr) { |
| 128 | last->constrain(b); |
| 129 | if (last->status() == SS_FAILED) { |
| 130 | delete last; |
| 131 | } else { |
| 132 | return; |
| 133 | } |
| 134 | } |
| 135 | last = b.clone(); |
| 136 | master->constrain(b); |
| 137 | e->constrain(b); |
| 138 | } |
| 139 | |
| 140 | bool |
| 141 | RBS::stopped(void) const { |