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.
bool(* BoolBranchFilter)(const Space &home, BoolVar x, int i)
Branch filter function type for Boolean variables.
Combine variable selection criteria for tie-breaking.
Select all values starting from smallest.
int size(void) const
Return size of array (number of elements)
Which values to select for branching first.
Which variable to select for branching.
Select all values starting from largest.
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.
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.
ViewSel< IntView > * viewselint(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
bool(* IntBranchFilter)(const Space &home, IntVar x, int i)
Branch filter function type for integer variables.
Base class for value selection and commit.
Select the first unassigned view.
ViewSel< BoolView > * viewselbool(Space &home, const IntVarBranch &ivb)
Return view selectors for Boolean views.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
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.
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.
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.
Which values to select for assignment.
ValSelCommitBase< BoolView, int > * valselcommitbool(Space &home, int n, const IntValBranch &ivb)
Return value and commit for Boolean views.
VarBranch a
Branching criteria to try in order.
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.
Home class for posting propagators