Select s
Which value to select.
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...
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
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...
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.
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.
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
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.
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.
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.
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.