|
| IntVarBranch (void) |
| Initialize with strategy SEL_NONE. More...
|
|
| IntVarBranch (Rnd r) |
| Initialize with random number generator r. More...
|
|
| IntVarBranch (Select s, BranchTbl t) |
| Initialize with selection strategy s and tie-break limit function t. More...
|
|
| IntVarBranch (Select s, double d, BranchTbl t) |
| Initialize with selection strategy s, decay factor d, and tie-break limit function t. More...
|
|
| IntVarBranch (Select s, AFC a, BranchTbl t) |
| Initialize with selection strategy s, AFC a, and tie-break limit function t. More...
|
|
| IntVarBranch (Select s, Activity a, BranchTbl t) |
| Initialize with selection strategy s, activity a, and tie-break limit function t. More...
|
|
| IntVarBranch (Select s, VoidFunction mf, BranchTbl t) |
| Initialize with selection strategy s, branch merit function mf, and tie-break limit function t. More...
|
|
Select | select (void) const |
| Return selection strategy. More...
|
|
void | expand (Home home, const IntVarArgs &x) |
| Expand decay factor into AFC or activity. More...
|
|
void | expand (Home home, const BoolVarArgs &x) |
| Expand decay factor into AFC or activity. 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 (Activity a, BranchTbl t) |
| Initialize with activity a and tie-break limit function t. More...
|
|
| VarBranch (void(*f)(void), 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...
|
|
Activity | activity (void) const |
| Return activity. More...
|
|
void | activity (Activity a) |
| Set activity to a. More...
|
|
VoidFunction | merit (void) const |
| Return merit function. More...
|
|
Which variable to select for branching.
Definition at line 3798 of file int.hh.