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.
bool initialized(void) const
Test whether already initialized.
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.
double(* SetBranchMerit)(const Space &home, SetVar x, int i)
Branch merit function type for set variables.
With smallest activity divided by domain size.
With smallest maximum unknown element.
bool initialized(void) const
Test whether already initialized.
SetVarBranch SET_VAR_ACTIVITY_MIN(double d, BranchTbl tbl)
Select variable with lowest activity with decay factor d.
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.
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.
Select select(void) const
Return selection strategy.
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.
double decay(void) const
Return decay factor.
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.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
void(* VoidFunction)(void)
Base type for any function pointer.
SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest maximum unknown element.
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.
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...
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.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.
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
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
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.