BoolValBranch BOOL_VAL_RND(Rnd r)
Select random value.
std::function< void(Space &home, unsigned int a, IntVar x, int i, int n)> IntBranchCommit
Branch commit function type for integer variables.
IntValBranch INT_VAL_RANGE_MIN(void)
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
Select value according to user-defined functions.
IntValBranch(Select s=SEL_MIN)
Initialize with selection strategy s.
Which values to select for branching first.
Which values to select for branching first.
Select s
Which value to select.
IntValBranch INT_VAL_RANGE_MAX(void)
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
Select s
Which value to select.
IntValBranch INT_VAL_RND(Rnd r)
Select random value.
Gecode::FloatVal c(-8, 8)
BoolValBranch BOOL_VAL_MIN(void)
Select smallest value.
BoolValBranch BOOL_VAL_MAX(void)
Select largest value.
Select all values starting from largest.
std::function< int(const Space &home, IntVar x, int i)> IntBranchVal
Branch value function type for integer variables.
Select greatest value not greater than the median.
Select select(void) const
Return selection strategy.
IntValBranch INT_VAL_MIN(void)
Select smallest value.
IntValBranch INT_VAL_SPLIT_MAX(void)
Select values greater than mean of smallest and largest value.
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...
Select values greater than mean of smallest and largest value.
std::function< int(const Space &home, BoolVar x, int i)> BoolBranchVal
Branch value function type for Boolean variables.
Boolean integer variables.
IntValBranch INT_VAL_MAX(void)
Select largest value.
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
Value branching information.
IntValBranch INT_VALUES_MIN(void)
Try all values starting from smallest.
Select values not greater than mean of smallest and largest value.
IntValBranch INT_VALUES_MAX(void)
Try all values starting from largest.
Select
Which value selection.
Rnd r
Random number generator.
BoolValBranch(Select s=SEL_MIN)
Initialize with selection strategy s.
IntValBranch INT_VAL_MED(void)
Select greatest value not greater than the median.
Select
Which value selection.
IntValBranch INT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest 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 value according to user-defined functions.
Select select(void) const
Return selection strategy.
std::function< void(Space &home, unsigned int a, BoolVar x, int i, int n)> BoolBranchCommit
Branch commit function type for Boolean variables.
Select all values starting from smallest.