
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 |