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.
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.
SetVarBranch SET_VAR_NONE(void)
Select first unassigned variable.
SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
With smallest minimum 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.
With largest degree divided by domain size.
Recording activities for set variables.
Activity _act
Activity information.
With largest maximum unknown element.
SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest unknown set.
With smallest accumulated failure count.
Select select(void) const
Return selection strategy.
SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
With smallest maximum unknown element.
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.
With smallest degree divided by domain size.
SetVarBranch SET_VAR_ACTIVITY_MAX(double d, BranchTbl tbl)
Select variable with highest activity with decay factor d.
With largest accumulated failure count divided by domain size.
SetVarBranch(void)
Initialize with strategy SEL_NONE.
With largest accumulated failure count.
SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
With smallest activity divided by domain size.
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 largest activity divided by domain size.
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...
SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest maximum unknown element.
Recording AFC information for set variables.
With largest unknown set.
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 unknown set.
With largest minimum unknown element.
Gecode toplevel namespace
Select
Which variable selection.
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.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
With smallest accumulated failure count divided by domain size.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.