Value selection for assigning integer and Boolean variables
[Branching]
Functions | |
IntAssign | Gecode::INT_ASSIGN_MIN (void) |
Select smallest value. | |
IntAssign | Gecode::INT_ASSIGN_MED (void) |
Select greatest value not greater than the median. | |
IntAssign | Gecode::INT_ASSIGN_MAX (void) |
Select largest value. | |
IntAssign | Gecode::INT_ASSIGN_RND (Rnd r) |
Select random value. | |
IntAssign | Gecode::INT_ASSIGN (IntBranchVal v, IntBranchCommit c=NULL) |
Select value as defined by the value function v and commit function c. |
Function Documentation
IntAssign Gecode::INT_ASSIGN_MIN | ( | void | ) | [inline] |
Select smallest value.
IntAssign Gecode::INT_ASSIGN_MED | ( | void | ) | [inline] |
Select greatest value not greater than the median.
IntAssign Gecode::INT_ASSIGN_MAX | ( | void | ) | [inline] |
Select largest value.
IntAssign Gecode::INT_ASSIGN_RND | ( | Rnd | r | ) | [inline] |
Select random value.
IntAssign Gecode::INT_ASSIGN | ( | IntBranchVal | v, | |
IntBranchCommit | c = NULL | |||
) | [inline] |
Select value as defined by the value function v and commit function c.
Uses a commit function as default that posts the constraint that a variable x must be equal to the value n.
Definition at line 85 of file assign.hpp.