Check status of brancher, return true if alternatives left
| 271 | } |
| 272 | /// Check status of brancher, return true if alternatives left |
| 273 | virtual bool status(const Space&) const { |
| 274 | for (int i = item; i < bin.size(); i++) |
| 275 | if (!bin[i].assigned()) { |
| 276 | item = i; return true; |
| 277 | } |
| 278 | return false; |
| 279 | } |
| 280 | /// Return choice |
| 281 | virtual Gecode::Choice* choice(Space&) { |
| 282 | assert(!bin[item].assigned()); |