Method status

gecode/kernel/branch/function.cpp:99–102

    : Brancher(home,b), f(b.f), done(b.done) {
  }
  bool
  FunctionBranch::status(const Space&) const {
    return !done;
  }
  const Choice*
  FunctionBranch::choice(Space&) {
    assert(!done);