Value selection for float variables
[Branching on float variables]
Functions | |
FloatValBranch | Gecode::FLOAT_VAL_SPLIT_MIN (void) |
Select values not greater than mean of smallest and largest value. | |
FloatValBranch | Gecode::FLOAT_VAL_SPLIT_MAX (void) |
Select values greater than mean of smallest and largest value. | |
FloatValBranch | Gecode::FLOAT_VAL_SPLIT_RND (Rnd r) |
Select values randomly which are not greater or not smaller than mean of largest and smallest value. | |
FloatValBranch | Gecode::FLOAT_VAL (FloatBranchVal v, FloatBranchCommit c) |
Function Documentation
FloatValBranch Gecode::FLOAT_VAL_SPLIT_MIN | ( | void | ) | [inline] |
Select values not greater than mean of smallest and largest value.
FloatValBranch Gecode::FLOAT_VAL_SPLIT_MAX | ( | void | ) | [inline] |
Select values greater than mean of smallest and largest value.
FloatValBranch Gecode::FLOAT_VAL_SPLIT_RND | ( | Rnd | r | ) | [inline] |
Select values randomly which are not greater or not smaller than mean of largest and smallest value.
FloatValBranch Gecode::FLOAT_VAL | ( | FloatBranchVal | v, | |
FloatBranchCommit | c = nullptr | |||
) | [inline] |
Select value as defined by the value function v and commit function c The default commit function posts the constraint that the float variable x must be less or equal than the value n for the first alternative and that x must be greater or equal than n otherwise.