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_VAL_COMMIT
Select value according to user-defined functions.
@ 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
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 toplevel namespace
SetValBranch SET_VAL_MED_INC(void)
Post propagator for SetVar SetOpType SetVar SetRelType r
Include random element SetValBranch SET_VAL_RND_INC(Rnd r)
Exclude random element SetValBranch SET_VAL_RND_EXC(Rnd r)
SetValBranch SET_VAL(SetBranchVal v, SetBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
SetValBranch SET_VAL_MED_EXC(void)
Include largest element SetValBranch SET_VAL_MAX_INC(void)
Include smallest element SetValBranch SET_VAL_MIN_INC(void)
Exclude largest element SetValBranch SET_VAL_MAX_EXC(void)
Exclude smallest element SetValBranch SET_VAL_MIN_EXC(void)