105 inline FloatVarBranch
110 inline FloatVarBranch
115 inline FloatVarBranch
120 inline FloatVarBranch
125 inline FloatVarBranch
130 inline FloatVarBranch
135 inline FloatVarBranch
140 inline FloatVarBranch
145 inline FloatVarBranch
150 inline FloatVarBranch
155 inline FloatVarBranch
160 inline FloatVarBranch
165 inline FloatVarBranch
170 inline FloatVarBranch
175 inline FloatVarBranch
180 inline FloatVarBranch
185 inline FloatVarBranch
190 inline FloatVarBranch
195 inline FloatVarBranch
200 inline FloatVarBranch
205 inline FloatVarBranch
210 inline FloatVarBranch
215 inline FloatVarBranch
220 inline FloatVarBranch
225 inline FloatVarBranch
230 inline FloatVarBranch
235 inline FloatVarBranch
240 inline FloatVarBranch
245 inline FloatVarBranch
250 inline FloatVarBranch
255 inline FloatVarBranch
260 inline FloatVarBranch
265 inline FloatVarBranch
270 inline FloatVarBranch
275 inline FloatVarBranch
280 inline FloatVarBranch
285 inline FloatVarBranch
With smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MIN(BranchTbl tbl)
Select variable with smallest CHB Q-score divided by domain size.
With smallest domain size.
FloatVarBranch(void)
Initialize with strategy SEL_NONE.
With largest domain size.
With largest CHB Q-score divided by domain size.
With smallest accumulated failure count divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MAX(BranchTbl tbl)
Select variable with largest CHB Q-score divided by domain size.
Recording actions for float variables.
FloatVarBranch FLOAT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
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...
void expand(Home home, const FloatVarArgs &x)
Expand AFC, action, and CHB.
With largest accumulated failure count.
Which variable to select for branching.
Select select(void) const
Return selection strategy.
Select
Which variable selection.
Action _act
Action information.
With highest CHB Q-score.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest action divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
FloatVarBranch FLOAT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
FloatVarBranch FLOAT_VAR_MERIT_MIN(FloatBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
With smallest action divided by domain size.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::FloatVal c(-8, 8)
FloatVarBranch FLOAT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
double decay(void) const
Return decay factor.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
FloatVarBranch FLOAT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
With largest accumulated failure count divided by domain size.
FloatVarBranch FLOAT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
With smallest CHB Q-score divided by domain size.
Recording CHB for float variables.
FloatVarBranch FLOAT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
FloatVarBranch FLOAT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
Post propagator for SetVar SetOpType SetVar SetRelType r
Variable branching information.
With smallest accumulated failure count.
Select s
Which variable to select.
FloatVarBranch FLOAT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
With largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_ACTION_MIN(double d, BranchTbl tbl)
Select variable with lowest action with decay factor d.
FloatVarBranch FLOAT_VAR_CHB_MIN(BranchTbl tbl)
Select variable with lowest CHB Q-score.
Post propagator for SetVar x
FloatVarBranch FLOAT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
With largest action divided by domain size.
Gecode toplevel namespace
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest action divided by domain size with decay factor d.
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_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
Home class for posting propagators
FloatVarBranch FLOAT_VAR_MERIT_MAX(FloatBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
FloatVarBranch FLOAT_VAR_ACTION_MAX(double d, BranchTbl tbl)
Select variable with highest action with decay factor d.
FloatVarBranch FLOAT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
std::function< double(const Space &home, FloatVar x, int i)> FloatBranchMerit
Branch merit function type for float variables.
Recording AFC information for float variables.
FloatVarBranch FLOAT_VAR_CHB_MAX(BranchTbl tbl)
Select variable with highest CHB Q-score.