Function assign

gecode/int/branch.cpp:146–159

  void
  assign(Home home, const IntVarArgs& x,
         IntVarBranch vars, IntAssign vals,
         IntBranchFilter bf,
         IntVarValPrint vvp) {
    using namespace Int;
    if (home.failed()) return;
    ViewArray<IntView> xv(home,x);
    ViewSel<IntView>* vs[1] = {
      new (home) ViewSelNone<IntView>(home,vars)
    };
    postviewvalbrancher<IntView,1,int,1>
      (home,xv,vs,Branch::valselcommit(home,vals),bf,vvp);
  }

  void
  branch(Home home, const IntVarArgs& x,