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