- Gecode
- FlatZinc
- IntBoolVarBranch

Which integer or Boolean variable to select for branching. More...
#include <branch.hh>
Public Types | |
| enum | Select { SEL_AFC_MAX , SEL_ACTION_MAX , SEL_CHB_MAX , SEL_AFC_SIZE_MAX , SEL_ACTION_SIZE_MAX , SEL_CHB_SIZE_MAX } |
| Which variable selection. More... | |
Public Types inherited from Gecode::VarBranch< IntVar > | |
| typedef BranchTraits< IntVar >::Merit | MeritFunction |
| Corresponding merit function. More... | |
Public Member Functions | |
| IntBoolVarBranch (Select s, double d) | |
| Initialize with selection strategy s and decay factor d. More... | |
| IntBoolVarBranch (Select s, IntAFC i, BoolAFC b) | |
| Initialize with selection strategy s and AFC i and b. More... | |
| IntBoolVarBranch (Select s, IntAction i, BoolAction b) | |
| Initialize with selection strategy s and action i and b. More... | |
| IntBoolVarBranch (Select s, IntCHB i, BoolCHB b) | |
| Initialize with selection strategy s and CHB i and b. More... | |
| Select | select (void) const |
| Return selection strategy. More... | |
| IntAFC | intafc (void) const |
| Return integer AFC. More... | |
| BoolAFC | boolafc (void) const |
| Return Boolean AFC. More... | |
| IntAction | intaction (void) const |
| Return integer action. More... | |
| BoolAction | boolaction (void) const |
| Return Boolean action. More... | |
| IntCHB | intchb (void) const |
| Return integer CHB. More... | |
| BoolCHB | boolchb (void) const |
| Return Boolean AFC. More... | |
| void | expand (Home home, const IntVarArgs &x, const BoolVarArgs &y) |
| Expand AFC, action, and CHB. More... | |
Public Member Functions inherited from Gecode::VarBranch< IntVar > | |
| VarBranch (void) | |
| Initialize. More... | |
| VarBranch (BranchTbl t) | |
| Initialize with tie-break limit function t. More... | |
| VarBranch (Rnd r) | |
| Initialize with random number generator r. More... | |
| VarBranch (double d, BranchTbl t) | |
| Initialize with decay factor d and tie-break limit function t. More... | |
| VarBranch (AFC a, BranchTbl t) | |
| Initialize with AFC a and tie-break limit function t. More... | |
| VarBranch (Action a, BranchTbl t) | |
| Initialize with action a and tie-break limit function t. More... | |
| VarBranch (CHB c, BranchTbl t) | |
| Initialize with CHB c and tie-break limit function t. More... | |
| VarBranch (MeritFunction f, BranchTbl t) | |
| Initialize with merit function f and tie-break limit function t. More... | |
| BranchTbl | tbl (void) const |
| Return tie-break limit function. More... | |
| Rnd | rnd (void) const |
| Return random number generator. More... | |
| double | decay (void) const |
| Return decay factor. More... | |
| AFC | afc (void) const |
| Return AFC. More... | |
| void | afc (AFC a) |
| Set AFC to a. More... | |
| Action | action (void) const |
| Return action. More... | |
| void | action (Action a) |
| Set action to a. More... | |
| CHB | chb (void) const |
| Return CHB. More... | |
| void | chb (CHB chb) |
| Set CHB to chb. More... | |
| MeritFunction | merit (void) const |
| Return merit function. More... | |
Protected Attributes | |
| Select | s |
| Which variable to select. More... | |
| IntAFC | iafc |
| Integer AFC. More... | |
| BoolAFC | bafc |
| Boolean AFC. More... | |
| IntAction | iaction |
| Integer action. More... | |
| BoolAction | baction |
| Boolean action. More... | |
| IntCHB | ichb |
| Integer CHB. More... | |
| BoolCHB | bchb |
| Boolean CHB. More... | |
Protected Attributes inherited from Gecode::VarBranch< IntVar > | |
| BranchTbl | _tbl |
| Tie-breaking limit function. More... | |
| Rnd | _rnd |
| Random number generator. More... | |
| double | _decay |
| Decay information for AFC and action. More... | |
| AFC | _afc |
| AFC information. More... | |
| Action | _act |
| Action information. More... | |
| CHB | _chb |
| CHB information. More... | |
| MeritFunction | _mf |
| Merit function. More... | |
Which variable selection.
| Enumerator | |
|---|---|
| SEL_AFC_MAX | With largest accumulated failure count. |
| SEL_ACTION_MAX | With highest action. |
| SEL_CHB_MAX | With highest CHB Q-score. |
| SEL_AFC_SIZE_MAX | With largest accumulated failure count divided by domain size. |
| SEL_ACTION_SIZE_MAX | With largest action divided by domain size. |
| SEL_CHB_SIZE_MAX | With largest CHB Q-score divided by domain size. |
|
inline |
Initialize with selection strategy s and decay factor d.
Definition at line 37 of file branch.hpp.
Initialize with selection strategy s and AFC i and b.
Definition at line 41 of file branch.hpp.
|
inline |
Initialize with selection strategy s and action i and b.
Definition at line 45 of file branch.hpp.
Initialize with selection strategy s and CHB i and b.
Definition at line 49 of file branch.hpp.
|
inline |
Return selection strategy.
Definition at line 53 of file branch.hpp.
|
inline |
Return integer AFC.
Definition at line 58 of file branch.hpp.
|
inline |
Return Boolean AFC.
Definition at line 62 of file branch.hpp.
|
inline |
Return integer action.
Definition at line 67 of file branch.hpp.
|
inline |
Return Boolean action.
Definition at line 71 of file branch.hpp.
|
inline |
Return integer CHB.
Definition at line 76 of file branch.hpp.
|
inline |
Return Boolean AFC.
Definition at line 80 of file branch.hpp.
|
inline |
Definition at line 84 of file branch.hpp.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |