Function branch

gecode/kernel/branch/function.cpp:146–149

namespace Gecode {

  void
  branch(Home home, std::function<void(Space& home)> f) {
    Kernel::FunctionBranch::post(home,f);
  }

}