Function cbsbranch

gecode/int/branch.cpp:355–361

#ifdef GECODE_HAS_CBS

  void
  cbsbranch(Home home, const IntVarArgs& x) {
    using namespace Int;
    if (home.failed()) return;
    ViewArray<IntView> y(home,x);
    Branch::CBSBrancher<IntView>::post(home,y);
  }

  void
  cbsbranch(Home home, const BoolVarArgs& x) {