Which value to select for assignment.
Initialize with selection strategy a s SetAssign(Select s=SEL_MIN_INC)
@ SEL_MED_EXC
Exclude median element (rounding downwards)
@ SEL_MIN_EXC
Exclude smallest element.
@ SEL_RND_EXC
Exclude random element.
@ SEL_MIN_INC
Include smallest element.
@ SEL_MAX_INC
Include largest element.
@ SEL_MAX_EXC
Exclude largest element.
@ SEL_MED_INC
Include median element (rounding downwards)
@ SEL_RND_INC
Include random element.
Return selection strategy Select select(void) const
Which value to select Select s
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 toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Exclude random element SetAssign SET_ASSIGN_RND_EXC(Rnd r)
SetAssign SET_ASSIGN_MED_EXC(void)
SetAssign SET_ASSIGN_MED_INC(void)
Include largest element SetAssign SET_ASSIGN_MAX_INC(void)
Include random element SetAssign SET_ASSIGN_RND_INC(Rnd r)
Exclude smallest element SetAssign SET_ASSIGN_MIN_EXC(void)
Include smallest element SetAssign SET_ASSIGN_MIN_INC(void)
SetAssign SET_ASSIGN(SetBranchVal v, SetBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
Exclude largest element SetAssign SET_ASSIGN_MAX_EXC(void)