Which values to select for assignment.
Select
Which value selection.
@ SEL_MAX
Select median value of the upper part.
@ SEL_MIN
Select median value of the lower part.
Select s
Which value to select.
FloatAssign(Select s=SEL_MIN)
Initialize with selection strategy s.
Select select(void) const
Return selection strategy.
Value branching information.
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
Post propagator for SetVar SetOpType SetVar SetRelType r
FloatAssign FLOAT_ASSIGN_MAX(void)
Select median value of the upper part.
FloatAssign FLOAT_ASSIGN_RND(Rnd r)
Select median value of a randomly chosen part.
FloatAssign FLOAT_ASSIGN_MIN(void)
Select median value of the lower part.
FloatAssign FLOAT_ASSIGN(FloatBranchVal v, FloatBranchCommit c=nullptr)