99 function_cast<VoidFunction>(bm),tbl);
102 inline FloatVarBranch
105 function_cast<VoidFunction>(bm),tbl);
108 inline FloatVarBranch
113 inline FloatVarBranch
118 inline FloatVarBranch
123 inline FloatVarBranch
128 inline FloatVarBranch
133 inline FloatVarBranch
138 inline FloatVarBranch
143 inline FloatVarBranch
148 inline FloatVarBranch
153 inline FloatVarBranch
158 inline FloatVarBranch
163 inline FloatVarBranch
168 inline FloatVarBranch
173 inline FloatVarBranch
178 inline FloatVarBranch
183 inline FloatVarBranch
188 inline FloatVarBranch
193 inline FloatVarBranch
198 inline FloatVarBranch
203 inline FloatVarBranch
208 inline FloatVarBranch
213 inline FloatVarBranch
218 inline FloatVarBranch
223 inline FloatVarBranch
228 inline FloatVarBranch
233 inline FloatVarBranch
238 inline FloatVarBranch
bool initialized(void) const
Test whether already initialized.
FloatVarBranch FLOAT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
FloatVarBranch(void)
Initialize with strategy SEL_NONE.
With smallest accumulated failure count.
With smallest domain size.
bool initialized(void) const
Test whether already initialized.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
double(* FloatBranchMerit)(const Space &home, FloatVar x, int i)
Branch merit function type for float variables.
void expand(Home home, const FloatVarArgs &x)
Expand decay factor into AFC or activity.
FloatVarBranch FLOAT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
Which variable to select for branching.
FloatVarBranch FLOAT_VAR_ACTIVITY_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest activity divided by domain size with decay factor d. ...
FloatVarBranch FLOAT_VAR_ACTIVITY_MAX(double d, BranchTbl tbl)
Select variable with highest activity with decay factor d.
Activity _act
Activity information.
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count divided by domain size with decay factor d...
With smallest accumulated failure count divided by domain size.
Class for AFC (accumulated failure count) management.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smalllest accumulated failure count divided by domain size with decay factor d...
FloatVarBranch FLOAT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
double decay(void) const
Return decay factor.
Select select(void) const
Return selection strategy.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
With smallest degree divided by domain size.
With largest accumulated failure count.
void(* VoidFunction)(void)
Base type for any function pointer.
FloatVarBranch FLOAT_VAR_MERIT_MAX(FloatBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
Select
Which variable selection.
FloatVarBranch FLOAT_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
FloatVarBranch FLOAT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
Recording activities for float variables.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
FloatVarBranch FLOAT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
With smallest activity divided by domain size.
Select s
Which variable to select.
FloatVarBranch FLOAT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
With largest domain size.
With largest accumulated failure count divided by domain size.
With largest activity divided by domain size.
Gecode toplevel namespace
FloatVarBranch FLOAT_VAR_ACTIVITY_MIN(double d, BranchTbl tbl)
Select variable with lowest activity with decay factor d.
FloatVarBranch FLOAT_VAR_ACTIVITY_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest activity divided by domain size with decay factor d.
Class for activity management.
With largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
Home class for posting propagators
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
FloatVarBranch FLOAT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
FloatVarBranch FLOAT_VAR_MERIT_MIN(FloatBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
FloatVarBranch FLOAT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
Recording AFC information for float variables.
FloatVarBranch FLOAT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.