110 function_cast<VoidFunction>(c));
116 function_cast<VoidFunction>(c));
IntValBranch INT_VAL_RANGE_MIN(void)
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
IntValBranch(Select s=SEL_MIN)
Initialize with selection strategy s.
Which values to select for branching first.
int(* BoolBranchVal)(const Space &home, BoolVar x, int i)
Branch value function type for Boolean variables.
Select value nearest to a given value, use smaller one in case of ties.
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.
Select value near to a given value, decrement values first.
int(* IntBranchVal)(const Space &home, IntVar x, int i)
Branch value function type for integer variables.
IntValBranch INT_VAL_RND(Rnd r)
Select random value.
Select value nearest to a given value, use larger one in case of ties.
Gecode::FloatVal c(-8, 8)
Select all values starting from largest.
Select greatest value not greater than the median.
void(* IntBranchCommit)(Space &home, unsigned int a, IntVar x, int i, int n)
Branch commit function type for integer variables.
void(* BoolBranchCommit)(Space &home, unsigned int a, BoolVar x, int i, int n)
Branch commit function type for Boolean variables.
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.
void(* VoidFunction)(void)
Base type for any function pointer.
IntValBranch INT_VAL_NEAR_MIN(IntSharedArray n)
Try value nearest to a given value for a variable, in case of ties use the smaller value...
Select values greater than mean of smallest and largest value.
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.
IntSharedArray n
Array of values for near strategies.
IntValBranch INT_VAL_NEAR_MAX(IntSharedArray n)
Try value nearest to a given value for a variable, in case of ties use the larger value...
IntValBranch INT_VAL_MED(void)
Select greatest value not greater than the median.
Select
Which value selection.
IntValBranch INT_VAL_NEAR_INC(IntSharedArray n)
Try value larger than a given value for a variable first.
IntValBranch INT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest value.
Gecode toplevel namespace
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 value according to user-defined functions.
IntValBranch INT_VAL_NEAR_DEC(IntSharedArray n)
Try value smaller than a given value for a variable first.
Select value near to a given value, increment values first.
Select all values starting from smallest.
IntSharedArray values(void) const
Return shared array of values.
Rnd r
Random number generator.