Function assign

gecode/float/branch.cpp:110–123

  }

  void
  assign(Home home, const FloatVarArgs& x,
         FloatVarBranch vars, FloatAssign vals,
         FloatBranchFilter bf,
         FloatVarValPrint vvp) {
    using namespace Float;
    if (home.failed()) return;
    ViewArray<FloatView> xv(home,x);
    ViewSel<FloatView>* vs[1] = {
      new (home) ViewSelNone<FloatView>(home,vars)
    };
    postviewvalbrancher<FloatView,1,FloatNumBranch,1>
      (home,xv,vs,Branch::valselcommit(home,vals),bf,vvp);
  }

  void
  assign(Home home, const FloatVarArgs& x,