Which values to select for assignment.
Select
Which value selection.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MIN
Select smallest value.
@ SEL_MAX
Select largest value.
@ SEL_RND
Select random value.
BoolAssign(Select s=SEL_MIN)
Initialize with selection strategy s.
Select select(void) const
Return selection strategy.
Select s
Which value to select.
Boolean integer variables.
Which values to select for assignment.
Select s
Which value to select.
Select select(void) const
Return selection strategy.
IntAssign(Select s=SEL_MIN)
Initialize with selection strategy s.
Select
Which value selection.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MIN
Select smallest value.
@ SEL_MED
Select greatest value not greater than the median.
@ SEL_RND
Select random value.
@ SEL_MAX
Select largest value.
std::function< int(const Space &home, BoolVar x, int i)> BoolBranchVal
Branch value function type for Boolean variables.
std::function< int(const Space &home, IntVar x, int i)> IntBranchVal
Branch value function type for integer variables.
std::function< void(Space &home, unsigned int a, BoolVar x, int i, int n)> BoolBranchCommit
Branch commit function type for Boolean variables.
std::function< void(Space &home, unsigned int a, IntVar x, int i, int n)> IntBranchCommit
Branch commit function type for integer variables.
Gecode toplevel namespace
IntAssign INT_ASSIGN(IntBranchVal v, IntBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
IntAssign INT_ASSIGN_RND(Rnd r)
Select random value.
BoolAssign BOOL_ASSIGN_MAX(void)
Select largest value.
Post propagator for SetVar SetOpType SetVar SetRelType r
BoolAssign BOOL_ASSIGN_RND(Rnd r)
Select random value.
IntAssign INT_ASSIGN_MED(void)
Select greatest value not greater than the median.
BoolAssign BOOL_ASSIGN(BoolBranchVal v, BoolBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
IntAssign INT_ASSIGN_MIN(void)
Select smallest value.
BoolAssign BOOL_ASSIGN_MIN(void)
Select smallest value.
IntAssign INT_ASSIGN_MAX(void)
Select largest value.