Select values greater than mean of smallest and largest value.
Select
Which value selection.
Which values to select for branching first.
FloatValBranch FLOAT_VAL_SPLIT_MAX(void)
Select values greater than mean of smallest and largest value.
Select s
Which value to select.
FloatValBranch FLOAT_VAL(FloatBranchVal v, FloatBranchCommit c)
FloatValBranch FLOAT_VAL_SPLIT_RND(Rnd r)
Select values randomly which are not greater or not smaller than mean of largest and smallest value.
Gecode::FloatVal c(-8, 8)
FloatValBranch FLOAT_VAL_SPLIT_MIN(void)
Select values not greater than mean of smallest and largest value.
std::function< void(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)> FloatBranchCommit
Branch commit function type for float variables.
Select values not greater than mean of smallest and largest value.
Post propagator for SetVar SetOpType SetVar SetRelType r
Value branching information.
Select select(void) const
Return selection strategy.
FloatValBranch(Select s=SEL_SPLIT_MIN)
Initialize with selection strategy s.
Gecode toplevel namespace
std::function< FloatNumBranch(const Space &home, FloatVar x, int i)> FloatBranchVal
Branch value function type for float variables.