62 vars.
a.expand(home,x);
66 vars.
b.expand(home,x);
70 vars.
c.expand(home,x);
74 vars.
d.expand(home,x);
76 return branch(home,x,vars.
a,vals,bf,vvp);
123 return assign(home, xv, sa, NULL, vvp);
bool failed(void) const
Check whether corresponding space is failed.
Which values to select for branching first.
Combine variable selection criteria for tie-breaking.
SetVarBranch SET_VAR_NONE(void)
Select first unassigned variable.
Abstract class for view selection.
static BrancherHandle post(Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, BranchFilter bf, VarValPrint vvp)
Brancher post function.
Base class for value selection and commit.
Select the first unassigned view.
ViewSel< SetView > * viewsel(Space &home, const SetVarBranch &svb)
Return view selectors for set views.
ValSelCommitBase< SetView, int > * valselcommit(Space &home, const SetValBranch &svb)
Return value and commit for set views.
Random (uniform, for tie breaking)
BrancherHandle assign(Home home, const FloatVarArgs &x, FloatAssign fa, FloatBranchFilter bf, FloatVarValPrint vvp)
Assign all x with value selection vals.
Node * x
Pointer to corresponding Boolean expression node.
void expand(Home home, const SetVarArgs &x)
Expand decay factor into AFC or activity.
void(* SetVarValPrint)(const Space &home, const BrancherHandle &bh, unsigned int a, SetVar x, int i, const int &n, std::ostream &o)
Function type for printing branching alternatives for set variables.
bool(* SetBranchFilter)(const Space &home, SetVar x, int i)
Branch filter function type for set variables.
VarBranch a
Branching criteria to try in order.
Which value to select for assignment.
Gecode toplevel namespace
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.
Which variable to select for branching.
Home class for posting propagators