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