120 function_cast<VoidFunction>(bm),tbl);
126 function_cast<VoidFunction>(bm),tbl);
132 function_cast<VoidFunction>(bm),tbl);
138 function_cast<VoidFunction>(bm),tbl);
IntVarBranch INT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
With smallest max-regret.
bool initialized(void) const
Test whether already initialized.
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
IntVarBranch INT_VAR_MERIT_MAX(IntBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
Select s
Which variable to select.
With smallest degree divided by domain size.
IntVarBranch INT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
Which variable to select for branching.
bool initialized(void) const
Test whether already initialized.
IntVarBranch INT_VAR_REGRET_MAX_MAX(BranchTbl tbl)
Select variable with largest max-regret.
With smallest min-regret.
IntVarBranch INT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
IntVarBranch INT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
IntVarBranch INT_VAR_REGRET_MAX_MIN(BranchTbl tbl)
Select variable with smallest max-regret.
IntVarBranch INT_VAR_ACTIVITY_MAX(double d, BranchTbl tbl)
Select variable with highest activity with decay factor d.
Activity _act
Activity information.
Select select(void) const
Return selection strategy.
double(* IntBranchMerit)(const Space &home, IntVar x, int i)
Branch merit function type for integer variables.
IntVarBranch INT_VAR_REGRET_MIN_MAX(BranchTbl tbl)
Select variable with largest min-regret.
IntVarBranch(void)
Initialize with strategy SEL_NONE.
With largest accumulated failure count.
IntVarBranch INT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
Class for AFC (accumulated failure count) management.
Select
Which variable selection.
IntVarBranch INT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
IntVarBranch INT_VAR_ACTIVITY_MIN(double d, BranchTbl tbl)
Select variable with lowest activity with decay factor d.
double decay(void) const
Return decay factor.
With smallest accumulated failure count.
Recording AFC information for integer and Boolean variables.
With largest domain size.
IntVarBranch INT_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
IntVarBranch INT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
IntVarBranch INT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
IntVarBranch INT_VAR_ACTIVITY_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest activity divided by domain size with decay factor d. ...
IntVarBranch INT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
void(* VoidFunction)(void)
Base type for any function pointer.
With smallest domain size.
Recording activities for integer and Boolean variables.
Passing integer variables.
With largest degree divided by domain size.
Passing Boolean variables.
double(* BoolBranchMerit)(const Space &home, BoolVar x, int i)
Branch merit function type for Boolean variables.
IntVarBranch INT_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count divided by domain size with decay factor d...
Variable branching information.
void expand(Home home, const IntVarArgs &x)
Expand decay factor into AFC or activity.
Node * x
Pointer to corresponding Boolean expression node.
With largest activity divided by domain size.
IntVarBranch INT_VAR_MERIT_MIN(IntBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
IntVarBranch INT_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count divided by domain size with decay factor d...
IntVarBranch INT_VAR_ACTIVITY_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest activity divided by domain size with decay factor d.
Gecode toplevel namespace
IntVarBranch INT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
With largest accumulated failure count divided by domain size.
Class for activity management.
Home class for posting propagators
With smallest activity divided by domain size.
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
With smallest accumulated failure count divided by domain size.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
IntVarBranch INT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
IntVarBranch INT_VAR_REGRET_MIN_MIN(BranchTbl tbl)
Select variable with smallest min-regret.
IntVarBranch INT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.