103 function_cast<VoidFunction>(bm),tbl);
109 function_cast<VoidFunction>(bm),tbl);
SetVarBranch SET_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest unknown set.
With largest accumulated failure count divided by domain size.
SetVarBranch SET_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
SetVarBranch SET_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest minimum unknown element.
With largest accumulated failure count.
SetVarBranch SET_VAR_NONE(void)
Select first unassigned variable.
With smallest accumulated failure count divided by domain size.
SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
With smallest activity divided by domain size.
Select select(void) const
Return selection strategy.
With smallest maximum unknown element.
SetVarBranch SET_VAR_ACTIVITY_MIN(double d, BranchTbl tbl)
Select variable with lowest activity with decay factor d.
Random (uniform, for tie breaking)
SetVarBranch SET_VAR_ACTIVITY_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest activity divided by domain size with decay factor d.
Select
Which variable selection.
bool initialized(void) const
Test whether already initialized.
With largest minimum unknown element.
With largest degree divided by domain size.
With largest activity divided by domain size.
Recording activities for set variables.
Activity _act
Activity information.
SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest unknown set.
With largest maximum unknown element.
struct Gecode::@554::NNF::@60::@62 a
For atomic nodes.
SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
Class for AFC (accumulated failure count) management.
SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
SetVarBranch SET_VAR_ACTIVITY_MAX(double d, BranchTbl tbl)
Select variable with highest activity with decay factor d.
With smallest unknown set.
SetVarBranch(void)
Initialize with strategy SEL_NONE.
SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest maximum unknown element.
double(* SetBranchMerit)(const Space &home, SetVar x, int i)
Branch merit function type for set variables.
void(* VoidFunction)(void)
Base type for any function pointer.
With smallest minimum unknown element.
SetVarBranch SET_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count divided by domain size with decay factor d...
With largest unknown set.
SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest maximum unknown element.
Recording AFC information for set variables.
BranchTbl tbl(void) const
Return tie-break limit function.
SetVarBranch SET_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count divided by domain size with decay factor d...
double decay(void) const
Return decay factor.
bool initialized(void) const
Test whether already initialized.
SetVarBranch SET_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
void expand(Home home, const SetVarArgs &x)
Expand decay factor into AFC or activity.
With smallest degree divided by domain size.
Gecode toplevel namespace
SetVarBranch SET_VAR_ACTIVITY_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest activity divided by domain size with decay factor d. ...
Which variable to select for branching.
Select s
Which variable to select.
SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest minimum unknown element.
Class for activity management.
Home class for posting propagators
SetVarBranch SET_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
SetVarBranch SET_VAR_MERIT_MIN(SetBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
With smallest accumulated failure count.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.