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.
Select all values starting from smallest.
Select values greater than mean of smallest and largest value.
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
Which values to select for branching first.
int(* BoolBranchVal)(const Space &home, BoolVar x, int i)
Branch value function type for Boolean variables.
Select all values starting from largest.
IntValBranch INT_VAL_RANGE_MAX(void)
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
Select values not greater than mean of smallest and largest value.
Select select(void) const
Return selection strategy.
Select s
Which value to select.
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
Which value selection.
Gecode::FloatVal c(-8, 8)
Select value nearest to a given value, use smaller one in case of ties.
int n
Number of negative literals for node type.
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.
IntValBranch INT_VAL_MIN(void)
Select smallest value.
IntValBranch INT_VAL_SPLIT_MAX(void)
Select values greater than mean of smallest and largest value.
IntSharedArray values(void) const
Return shared array of values.
void(* VoidFunction)(void)
Base type for any function pointer.
Select value near to a given value, decrement values first.
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 value nearest to a given value, use larger one in case of ties.
IntValBranch INT_VAL_MAX(void)
Select largest value.
Value branching information.
IntValBranch INT_VALUES_MIN(void)
Try all values starting from smallest.
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 value near to a given value, increment values first.
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 the largest range of the variable domain if it has several ranges, otherwise select values gre...
Select greatest value not greater than the median.
IntValBranch INT_VAL_NEAR_DEC(IntSharedArray n)
Try value smaller than a given value for a variable first.