Go to the documentation of this file.
101 inline FloatVarBranch
106 inline FloatVarBranch
111 inline FloatVarBranch
116 inline FloatVarBranch
121 inline FloatVarBranch
126 inline FloatVarBranch
131 inline FloatVarBranch
136 inline FloatVarBranch
141 inline FloatVarBranch
146 inline FloatVarBranch
151 inline FloatVarBranch
156 inline FloatVarBranch
161 inline FloatVarBranch
166 inline FloatVarBranch
171 inline FloatVarBranch
176 inline FloatVarBranch
181 inline FloatVarBranch
186 inline FloatVarBranch
191 inline FloatVarBranch
196 inline FloatVarBranch
201 inline FloatVarBranch
206 inline FloatVarBranch
211 inline FloatVarBranch
216 inline FloatVarBranch
221 inline FloatVarBranch
226 inline FloatVarBranch
231 inline FloatVarBranch
236 inline FloatVarBranch
241 inline FloatVarBranch
246 inline FloatVarBranch
251 inline FloatVarBranch
256 inline FloatVarBranch
261 inline FloatVarBranch
266 inline FloatVarBranch
271 inline FloatVarBranch
276 inline FloatVarBranch
281 inline FloatVarBranch
Post propagator for SetVar x
With smallest action divided by domain size.
void expand(Home home, const FloatVarArgs &x)
Expand AFC, action, and CHB.
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.
Select
Which variable selection.
With largest accumulated failure count.
double decay(void) const
Return decay factor.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MAX(BranchTbl tbl)
Select variable with largest CHB Q-score divided by domain size.
FloatVarBranch FLOAT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
Recording actions for float variables.
Action _act
Action information.
Which variable to select for branching.
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
FloatVarBranch FLOAT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
FloatVarBranch FLOAT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
Variable branching information.
Gecode toplevel namespace
With smallest domain size.
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
FloatVarBranch FLOAT_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
With largest domain size.
With highest CHB Q-score.
With largest CHB Q-score divided by domain size.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
FloatVarBranch FLOAT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
Home class for posting propagators
Select select(void) const
Return selection strategy.
With smallest CHB Q-score divided by domain size.
Recording CHB for float variables.
FloatVarBranch FLOAT_VAR_CHB_MAX(BranchTbl tbl)
Select variable with highest CHB Q-score.
Post propagator for SetVar SetOpType SetVar SetRelType r
FloatVarBranch FLOAT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
Select s
Which variable to select.
FloatVarBranch FLOAT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
FloatVarBranch FLOAT_VAR_MERIT_MAX(FloatBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MIN(BranchTbl tbl)
Select variable with smallest CHB Q-score divided by domain size.
With largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
FloatVarBranch FLOAT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
With largest accumulated failure count divided by domain size.
With smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_MERIT_MIN(FloatBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_MIN(BranchTbl tbl)
Select variable with lowest CHB Q-score.
FloatVarBranch FLOAT_VAR_ACTION_MIN(double d, BranchTbl tbl)
Select variable with lowest action with decay factor d.
FloatVarBranch FLOAT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
With smallest accumulated failure count.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
FloatVarBranch(void)
Initialize with strategy SEL_NONE.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest action divided by domain size with decay factor d.
Gecode::FloatVal c(-8, 8)
std::function< double(const Space &home, FloatVar x, int i)> FloatBranchMerit
Branch merit function type for float variables.
FloatVarBranch FLOAT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
With largest action divided by domain size.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest action divided by domain size with decay factor d.
With smallest accumulated failure count divided by domain size.
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.
FloatVarBranch FLOAT_VAR_ACTION_MAX(double d, BranchTbl tbl)
Select variable with highest action with decay factor d.
Recording AFC information for float variables.