Which values to select for branching first.
Which value to select Select s
Return selection strategy Select select(void) const
Select value according to user-defined functions.
SetValBranch SET_VAL_MED_INC(void)
SetValBranch SET_VAL_RND_INC(Rnd r)
Gecode::FloatVal c(-8, 8)
Exclude smallest element.
std::function< void(Space &home, unsigned int a, SetVar x, int i, int n)> SetBranchCommit
Branch commit function type for set variables.
Exclude median element (rounding downwards)
SetValBranch SET_VAL_MIN_EXC(void)
SetValBranch SET_VAL_MIN_INC(void)
SetValBranch SET_VAL_MAX_EXC(void)
SetValBranch SET_VAL_MAX_INC(void)
Value branching information.
SetValBranch SET_VAL_MED_EXC(void)
SetValBranch SET_VAL_RND_EXC(Rnd r)
Rnd r
Random number generator.
Include smallest element.
Initialize with selection strategy a s SetValBranch(Select s=SEL_MIN_INC)
SetValBranch SET_VAL(SetBranchVal v, SetBranchCommit c)
Select value as defined by the value function v and commit function c.
Gecode toplevel namespace
Include median element (rounding downwards)
std::function< int(const Space &home, SetVar x, int i)> SetBranchVal
Branch value function type for set variables.