| 60 | return new StopChoice(*this); |
| 61 | } |
| 62 | ExecStatus |
| 63 | StopBrancher::commit(Space&, const Choice&, unsigned int) { |
| 64 | done = true; |
| 65 | return ES_OK; |
| 66 | } |
| 67 | |
| 68 | void |
| 69 | StopBrancher::print(const Space&, const Gecode::Choice&, |
no outgoing calls
no test coverage detected