Function assign

gecode/set/branch.cpp:107–120

  void
  assign(Home home, const SetVarArgs& x,
         SetVarBranch vars, SetAssign vals,
         SetBranchFilter bf,
         SetVarValPrint vvp) {
    using namespace Set;
    if (home.failed()) return;
    ViewArray<SetView> xv(home,x);
    ViewSel<SetView>* vs[1] = {
      new (home) ViewSelNone<SetView>(home,vars)
    };
    postviewvalbrancher<SetView,1,int,1>
      (home,xv,vs,Branch::valselcommit(home,vals),bf,vvp);
  }

  void
  assign(Home home, const SetVarArgs& x,