Archive into \a e
| 223 | : Gecode::Choice(b,1), fail(fail0) {} |
| 224 | /// Archive into \a e |
| 225 | virtual void archive(Archive& e) const { |
| 226 | Gecode::Choice::archive(e); |
| 227 | e.put(fail); |
| 228 | } |
| 229 | }; |
| 230 | /// Construct brancher |
| 231 | NestedSearch(Space& home) : Brancher(home), done(false) { |