72 vars.
a.expand(home,x);
76 vars.
b.expand(home,x);
80 vars.
c.expand(home,x);
84 vars.
d.expand(home,x);
86 return branch(home,x,vars.
a,vals,bf,vvp);
165 return assign(home, xv, ia, NULL, vvp);
190 vars.
a.expand(home,x);
194 vars.
b.expand(home,x);
198 vars.
c.expand(home,x);
202 vars.
d.expand(home,x);
204 return branch(home,x,vars.
a,vals,bf,vvp);
252 return assign(home, xv, ia, NULL, vvp);
bool failed(void) const
Check whether corresponding space is failed.
static BrancherHandle post(Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], BranchFilter bf, IntVarValPrint vvp)
Constructor for creation.
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
Combine variable selection criteria for tie-breaking.
void(* BoolVarValPrint)(const Space &home, const BrancherHandle &bh, unsigned int a, BoolVar x, int i, const int &n, std::ostream &o)
Function type for printing branching alternatives for Boolean variables.
int size(void) const
Return size of array (number of elements)
Which values to select for branching first.
Which variable to select for branching.
void(* IntVarValPrint)(const Space &home, const BrancherHandle &bh, unsigned int a, IntVar x, int i, const int &n, std::ostream &o)
Function type for printing branching alternatives for integer variables.
Select select(void) const
Return selection strategy.
static BrancherHandle post(Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, BranchFilter bf, VarValPrint vvp)
Brancher post function.
ViewSel< IntView > * viewselint(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
Base class for value selection and commit.
Select the first unassigned view.
bool(* BoolBranchFilter)(const Space &home, BoolVar x, int i)
Branch filter function type for Boolean variables.
Select all values starting from largest.
bool(* IntBranchFilter)(const Space &home, IntVar x, int i)
Branch filter function type for integer variables.
ViewSel< BoolView > * viewselbool(Space &home, const IntVarBranch &ivb)
Return view selectors for Boolean views.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
BrancherHandle assign(Home home, const FloatVarArgs &x, FloatAssign fa, FloatBranchFilter bf, FloatVarValPrint vvp)
Assign all x with value selection vals.
void expand(Home home, const IntVarArgs &x)
Expand decay factor into AFC or activity.
Node * x
Pointer to corresponding Boolean expression node.
ValSelCommitBase< IntView, int > * valselcommitint(Space &home, int n, const IntValBranch &ivb)
Return value and commit for integer views.
Which values to select for assignment.
ValSelCommitBase< BoolView, int > * valselcommitbool(Space &home, int n, const IntValBranch &ivb)
Return value and commit for Boolean views.
Random (uniform, for tie breaking)
VarBranch a
Branching criteria to try in order.
BrancherHandle branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf, FloatVarValPrint vvp)
Branch over x with variable selection vars and value selection vals.
Home class for posting propagators
Select all values starting from smallest.