Exclude median element (rounding downwards)
Initialize with selection strategy a s SetAssign(Select s=SEL_MIN_INC)
Include median element (rounding downwards)
Exclude smallest element.
SetAssign SET_ASSIGN_RND_INC(Rnd r)
Gecode::FloatVal c(-8, 8)
Which value to select Select s
std::function< void(Space &home, unsigned int a, SetVar x, int i, int n)> SetBranchCommit
Branch commit function type for set variables.
SetAssign SET_ASSIGN_MAX_INC(void)
SetAssign SET_ASSIGN_MED_INC(void)
Value branching information.
SetAssign SET_ASSIGN_RND_EXC(Rnd r)
SetAssign SET_ASSIGN_MIN_INC(void)
Rnd r
Random number generator.
SetAssign SET_ASSIGN(SetBranchVal v, SetBranchCommit c)
Select value as defined by the value function v and commit function c.
SetAssign SET_ASSIGN_MED_EXC(void)
SetAssign SET_ASSIGN_MAX_EXC(void)
Include smallest element.
Which value to select for assignment.
SetAssign SET_ASSIGN_MIN_EXC(void)
Gecode toplevel namespace
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.
Select value according to user-defined functions.