Select select(void) const
Return selection strategy.
FloatAssign FLOAT_ASSIGN_MAX(void)
Select median value of the upper part.
Select median value of a randomly chosen part.
FloatAssign FLOAT_ASSIGN_MIN(void)
Select median value of the lower part.
Select s
Which value to select.
Gecode::FloatVal c(-8, 8)
FloatAssign FLOAT_ASSIGN_RND(Rnd r)
Select median value of a randomly chosen part.
std::function< void(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)> FloatBranchCommit
Branch commit function type for float variables.
Value branching information.
Select median value of the upper part.
Select
Which value selection.
Rnd r
Random number generator.
Which values to select for assignment.
FloatAssign FLOAT_ASSIGN(FloatBranchVal v, FloatBranchCommit c)
Select median value of the lower part.
Gecode toplevel namespace
std::function< FloatNumBranch(const Space &home, FloatVar x, int i)> FloatBranchVal
Branch value function type for float variables.
FloatAssign(Select s=SEL_MIN)
Initialize with selection strategy s.
Select value according to user-defined functions.