Value selection for integer and Boolean variables
[Branching]
Functions | |
IntValBranch | Gecode::INT_VAL_MIN (void) |
Select smallest value. | |
IntValBranch | Gecode::INT_VAL_MED (void) |
Select greatest value not greater than the median. | |
IntValBranch | Gecode::INT_VAL_MAX (void) |
Select largest value. | |
IntValBranch | Gecode::INT_VAL_RND (Rnd r) |
Select random value. | |
IntValBranch | Gecode::INT_VAL_SPLIT_MIN (void) |
Select values not greater than mean of smallest and largest value. | |
IntValBranch | Gecode::INT_VAL_SPLIT_MAX (void) |
Select values greater than mean of smallest and largest value. | |
IntValBranch | Gecode::INT_VAL_RANGE_MIN (void) |
Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value. | |
IntValBranch | Gecode::INT_VAL_RANGE_MAX (void) |
Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value. | |
IntValBranch | Gecode::INT_VAL (IntBranchVal v, IntBranchCommit c=NULL) |
Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. | |
IntValBranch | Gecode::INT_VALUES_MIN (void) |
Try all values starting from smallest. | |
IntValBranch | Gecode::INT_VALUES_MAX (void) |
Try all values starting from largest. | |
IntValBranch | Gecode::INT_VAL_NEAR_MIN (IntSharedArray n) |
Try value nearest to a given value for a variable, in case of ties use the smaller value. | |
IntValBranch | Gecode::INT_VAL_NEAR_MAX (IntSharedArray n) |
Try value nearest to a given value for a variable, in case of ties use the larger value. | |
IntValBranch | Gecode::INT_VAL_NEAR_INC (IntSharedArray n) |
Try value larger than a given value for a variable first. | |
IntValBranch | Gecode::INT_VAL_NEAR_DEC (IntSharedArray n) |
Try value smaller than a given value for a variable first. |
Function Documentation
IntValBranch Gecode::INT_VAL_MIN | ( | void | ) | [inline] |
Select smallest value.
IntValBranch Gecode::INT_VAL_MED | ( | void | ) | [inline] |
Select greatest value not greater than the median.
IntValBranch Gecode::INT_VAL_MAX | ( | void | ) | [inline] |
Select largest value.
IntValBranch Gecode::INT_VAL_RND | ( | Rnd | r | ) | [inline] |
Select random value.
IntValBranch Gecode::INT_VAL_SPLIT_MIN | ( | void | ) | [inline] |
Select values not greater than mean of smallest and largest value.
IntValBranch Gecode::INT_VAL_SPLIT_MAX | ( | void | ) | [inline] |
Select values greater than mean of smallest and largest value.
IntValBranch Gecode::INT_VAL_RANGE_MIN | ( | void | ) | [inline] |
Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value.
IntValBranch Gecode::INT_VAL_RANGE_MAX | ( | void | ) | [inline] |
Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value.
IntValBranch Gecode::INT_VAL | ( | IntBranchVal | v, | |
IntBranchCommit | c | |||
) | [inline] |
Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative.
IntValBranch Gecode::INT_VALUES_MIN | ( | void | ) | [inline] |
Try all values starting from smallest.
IntValBranch Gecode::INT_VALUES_MAX | ( | void | ) | [inline] |
Try all values starting from largest.
IntValBranch Gecode::INT_VAL_NEAR_MIN | ( | IntSharedArray | n | ) | [inline] |
Try value nearest to a given value for a variable, in case of ties use the smaller value.
IntValBranch Gecode::INT_VAL_NEAR_MAX | ( | IntSharedArray | n | ) | [inline] |
Try value nearest to a given value for a variable, in case of ties use the larger value.
IntValBranch Gecode::INT_VAL_NEAR_INC | ( | IntSharedArray | n | ) | [inline] |
Try value larger than a given value for a variable first.
IntValBranch Gecode::INT_VAL_NEAR_DEC | ( | IntSharedArray | n | ) | [inline] |
Try value smaller than a given value for a variable first.