Method print

gecode/kernel/branch/function.cpp:119–123

    return home.failed() ? ES_FAILED : ES_OK;
  }
  void
  FunctionBranch::print(const Space&, const Choice&, unsigned int,
                        std::ostream& o) const {
    o << "FunctionBranch()";
  }
  Actor*
  FunctionBranch::copy(Space& home) {
    return new (home) FunctionBranch(home,*this);