Which values to select for branching first. More...
#include <set.hh>
Public Types | |
enum | Select { SEL_MIN_INC , SEL_MIN_EXC , SEL_MED_INC , SEL_MED_EXC , SEL_MAX_INC , SEL_MAX_EXC , SEL_RND_INC , SEL_RND_EXC , SEL_VAL_COMMIT } |
Public Types inherited from Gecode::ValBranch< SetVar > | |
typedef BranchTraits< SetVar >::Val | BranchVal |
The corresponding branching value function. | |
typedef BranchTraits< SetVar >::Commit | BranchCommit |
The corresponding branching commit function. |
Public Member Functions | |
Initialize with selection strategy a s | SetValBranch (Select s=SEL_MIN_INC) |
Initialize with random number generator a r | SetValBranch (Select s, Rnd r) |
Initialize with value function a f and commit function a c | SetValBranch (SetBranchVal v, SetBranchCommit c) |
Return selection strategy Select | select (void) const |
Public Member Functions inherited from Gecode::ValBranch< SetVar > | |
ValBranch (void) | |
Initialize. | |
Rnd | rnd (void) const |
Return random number generator. | |
BranchVal | val (void) const |
Return value function. | |
BranchCommit | commit (void) const |
Return commit function. |
Protected Attributes | |
Which value to select Select | s |
Protected Attributes inherited from Gecode::ValBranch< SetVar > | |
Rnd | r |
Random number generator. | |
BranchVal | vf |
Value function. | |
BranchCommit | cf |
Commit function. |
Enumerator | |
---|---|
SEL_MIN_INC | Include smallest element. |
SEL_MIN_EXC | Exclude smallest element. |
SEL_MED_INC | Include median element (rounding downwards) |
SEL_MED_EXC | Exclude median element (rounding downwards) |
SEL_MAX_INC | Include largest element. |
SEL_MAX_EXC | Exclude largest element. |
SEL_RND_INC | Include random element. |
SEL_RND_EXC | Exclude random element. |
SEL_VAL_COMMIT | Select value according to user-defined functions. |
|
inline |
|
inline |
|
inline |