Select s
Which value to select.
@ SEL_RANGE_MAX
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
IntValBranch INT_VAL_RANGE_MIN(void)
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
@ SEL_SPLIT_MIN
Select values not greater than mean of smallest and largest value.
IntValBranch(Select s=SEL_MIN)
Initialize with selection strategy s.
IntValBranch INT_VAL_MED(void)
Select greatest value not greater than the median.
IntValBranch INT_VAL(IntBranchVal v, IntBranchCommit c)
Select value as defined by the value function v and commit function c Uses a commit function as defau...
Which values to select for branching first.
IntValBranch INT_VAL_MIN(void)
Select smallest value.
std::function< int(const Space &home, BoolVar x, int i)> BoolBranchVal
Branch value function type for Boolean variables.
BoolValBranch BOOL_VAL_RND(Rnd r)
Select random value.
BoolValBranch BOOL_VAL(BoolBranchVal v, BoolBranchCommit c)
Select value as defined by the value function v and commit function c Uses a commit function as defau...
Gecode toplevel namespace
@ SEL_MIN
Select smallest value.
@ SEL_SPLIT_MAX
Select values greater than mean of smallest and largest value.
IntValBranch INT_VALUES_MIN(void)
Try all values starting from smallest.
IntValBranch INT_VAL_RANGE_MAX(void)
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
@ SEL_MAX
Select largest value.
IntValBranch INT_VALUES_MAX(void)
Try all values starting from largest.
Select select(void) const
Return selection strategy.
Post propagator for SetVar SetOpType SetVar SetRelType r
Boolean integer variables.
Select s
Which value to select.
Value branching information.
@ SEL_VALUES_MIN
Select all values starting from smallest.
BoolValBranch BOOL_VAL_MAX(void)
Select largest value.
BoolValBranch BOOL_VAL_MIN(void)
Select smallest value.
Select
Which value selection.
@ SEL_RANGE_MIN
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
@ SEL_MED
Select greatest value not greater than the median.
std::function< int(const Space &home, IntVar x, int i)> IntBranchVal
Branch value function type for integer variables.
BoolValBranch(Select s=SEL_MIN)
Initialize with selection strategy s.
@ SEL_MAX
Select largest value.
std::function< void(Space &home, unsigned int a, BoolVar x, int i, int n)> BoolBranchCommit
Branch commit function type for Boolean variables.
Select
Which value selection.
@ SEL_VALUES_MAX
Select all values starting from largest.
IntValBranch INT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest value.
Gecode::FloatVal c(-8, 8)
Select select(void) const
Return selection strategy.
@ SEL_MIN
Select smallest value.
IntValBranch INT_VAL_MAX(void)
Select largest value.
IntValBranch INT_VAL_SPLIT_MAX(void)
Select values greater than mean of smallest and largest value.
std::function< void(Space &home, unsigned int a, IntVar x, int i, int n)> IntBranchCommit
Branch commit function type for integer variables.
Which values to select for branching first.
IntValBranch INT_VAL_RND(Rnd r)
Select random value.