36 namespace Gecode {
namespace Int {
namespace Branch {
47 if (ivb.
tbl() != NULL) {
183 if (bvb.
tbl() != NULL) {
Select view with largest merit.
With smallest accumulated failure count.
ViewSel< IntView > * viewsel(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
With smallest accumulated failure count.
Which integer variable to select for branching.
With largest accumulated failure count.
With largest accumulated failure count divided by domain size.
Abstract class for view selection.
Merit class for CHB over size.
Merit class for degree over size.
With largest accumulated failure count.
Select the first unassigned view.
Select view with least merit.
Random (uniform, for tie breaking)
Exception: Unknown value or variable selection passed as argument
With smallest max-regret.
With smallest min-regret.
With largest action divided by domain size.
Merit class for action over size.
Select view with largest merit taking tie-break limit into account.
Select select(void) const
Return selection strategy.
Merit class for user-defined merit function.
With largest domain size.
Merit class for mimimum of integer views.
Select view with least merit taking tie-break limit into account.
Which Boolean variable to select for branching.
Merit class for minimum regret.
With largest CHB Q-score divided by domain size.
Merit class for AFC over size.
With largest degree divided by domain size.
With smallest CHB Q-score divided by domain size.
With smallest degree divided by domain size.
With highest CHB Q-score.
BranchTbl tbl(void) const
Return tie-break limit function.
With smallest action divided by domain size.
Select select(void) const
Return selection strategy.
Random (uniform, for tie breaking)
Merit class for maximum regret.
With smallest domain size.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.
With smallest accumulated failure count divided by domain size.