Collaboration diagram for Branching:
|
Enumerations |
| enum | Gecode::BvarSel {
Gecode::BVAR_NONE,
Gecode::BVAR_MIN_MIN,
Gecode::BVAR_MIN_MAX,
Gecode::BVAR_MAX_MIN,
Gecode::BVAR_MAX_MAX,
Gecode::BVAR_SIZE_MIN,
Gecode::BVAR_SIZE_MAX,
Gecode::BVAR_DEGREE_MIN,
Gecode::BVAR_DEGREE_MAX,
Gecode::BVAR_REGRET_MIN_MIN,
Gecode::BVAR_REGRET_MIN_MAX,
Gecode::BVAR_REGRET_MAX_MIN,
Gecode::BVAR_REGRET_MAX_MAX
} |
| | Which variable to select for branching. More...
|
| enum | Gecode::BvalSel {
Gecode::BVAL_MIN,
Gecode::BVAL_MED,
Gecode::BVAL_MAX,
Gecode::BVAL_SPLIT_MIN,
Gecode::BVAL_SPLIT_MAX
} |
| | Which values to select first for branching. More...
|
Functions |
| void | Gecode::branch (Space *home, const IntVarArgs &x, BvarSel vars, BvalSel vals) |
| | Branch over all x with variable selection vars and value selection vals.
|
Enumeration Type Documentation
|
|
Which variable to select for branching.
- Enumerator:
-
| BVAR_NONE |
First unassigned. |
| BVAR_MIN_MIN |
With smallest min. |
| BVAR_MIN_MAX |
With largest min. |
| BVAR_MAX_MIN |
With smallest max. |
| BVAR_MAX_MAX |
With largest max. |
| BVAR_SIZE_MIN |
With smallest domain size. |
| BVAR_SIZE_MAX |
With largest domain size. |
| BVAR_DEGREE_MIN |
With smallest degree.
The degree of a variable is defined as the number of dependant propagators. In case of ties, choose the variable with smallest domain. |
| BVAR_DEGREE_MAX |
With largest degree.
The degree of a variable is defined as the number of dependant propagators. In case of ties, choose the variable with smallest domain. |
| BVAR_REGRET_MIN_MIN |
With smallest min-regret.
The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain. |
| BVAR_REGRET_MIN_MAX |
With largest min-regret.
The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain. |
| BVAR_REGRET_MAX_MIN |
With smallest max-regret.
The max-regret of a variable is the difference between the largest and second-largest value still in the domain. |
| BVAR_REGRET_MAX_MAX |
With largest max-regret.
The max-regret of a variable is the difference between the largest and second-largest value still in the domain. |
Definition at line 1329 of file int.hh. |
|
|
Which values to select first for branching.
- Enumerator:
-
| BVAL_MIN |
Select smallest value. |
| BVAL_MED |
Select median value. |
| BVAL_MAX |
Select maximal value. |
| BVAL_SPLIT_MIN |
Select lower half of domain. |
| BVAL_SPLIT_MAX |
Select upper half of domain. |
Definition at line 1378 of file int.hh. |
Function Documentation
|
|
Branch over all x with variable selection vars and value selection vals.
Definition at line 29 of file branch.cc. |
