Method choice

gecode/kernel/branch/function.cpp:103–107

    return !done;
  }
  const Choice*
  FunctionBranch::choice(Space&) {
    assert(!done);
    return new Description(*this,1);
  }
  const Choice*
  FunctionBranch::choice(const Space&, Archive&) {
    return new Description(*this,1);