Modules | |
Branching | |
Selecting set variables | |
Value selection for set variables | |
Assigning set variables | |
Tracing for set variables | |
Classes | |
class | Gecode::SetAFC |
Recording AFC information for set variables. More... | |
class | Gecode::SetAction |
Recording actions for set variables. More... | |
class | Gecode::SetCHB |
Recording CHB for set variables. More... | |
class | Gecode::SetVarBranch |
Which variable to select for branching. More... | |
class | Gecode::SetValBranch |
Which values to select for branching first. More... | |
class | Gecode::SetAssign |
Which value to select for assignment. More... | |
class | Gecode::SetTraceDelta::Glb |
Delta for the greatest lower bound. More... | |
class | Gecode::SetTraceDelta::Lub |
Delta for the least upper bound. More... | |
class | Gecode::SetTraceDelta |
Trace delta information for set variables. More... | |
class | Gecode::StdSetTracer |
Standard set variable tracer. More... | |
Functions | |
Gecode::SetAFC::SetAFC (void) | |
Construct as not yet initialized. More... | |
Copy constructor | Gecode::SetAFC::SetAFC (const SetAFC &a) |
Assignment | Gecode::SetAFC::operator SetAFC &operator= (const SetAFC &a) |
Gecode::SetAFC::SetAFC (Home home, const SetVarArgs &x, double d=1.0, bool share=true) | |
Initialize for set variables x and decay factor d. More... | |
void | Gecode::SetAFC::init (Home home, const SetVarArgs &x, double d=1.0, bool share=true) |
Initialize for set variables x with decay factor d. More... | |
Gecode::SetAction::SetAction (void) | |
Construct as not yet initialized. More... | |
Copy constructor | Gecode::SetAction::SetAction (const SetAction &a) |
Assignment | Gecode::SetAction::operator SetAction &operator= (const SetAction &a) |
Gecode::SetAction::SetAction (Home home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=nullptr) | |
Initialize for set variables x with decay factor d. More... | |
void | Gecode::SetAction::init (Home home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=nullptr) |
Initialize for set variables x with decay factor d. More... | |
Gecode::SetCHB::SetCHB (void) | |
Construct as not yet initialized. More... | |
Copy constructor | Gecode::SetCHB::SetCHB (const SetCHB &chb) |
Assignment | Gecode::SetCHB::operator SetCHB &operator= (const SetCHB &chb) |
Gecode::SetCHB::SetCHB (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr) | |
Initialize for set variables x. More... | |
void | Gecode::SetCHB::init (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr) |
Initialize for set variables x. More... | |
Initialize with strategy SEL_NONE | Gecode::SetVarBranch::SetVarBranch (void) |
Initialize with random number generator a r | Gecode::SetVarBranch::SetVarBranch (Rnd r) |
Initialize with selection strategy a s and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, BranchTbl t) |
Initialize with selection strategy a decay factor a and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, double d, BranchTbl t) |
Initialize with selection strategy a afc a and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, SetAFC a, BranchTbl t) |
Initialize with selection strategy a action a and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, SetAction a, BranchTbl t) |
Initialize with selection strategy a CHB a and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, SetCHB c, BranchTbl t) |
Initialize with selection strategy a branch merit function a and tie break limit function a t | Gecode::SetVarBranch::SetVarBranch (Select s, SetBranchMerit mf, BranchTbl t) |
Return selection strategy Select | Gecode::SetVarBranch::select (void) const |
Expand and CHB void | Gecode::SetVarBranch::expand (Home home, const SetVarArgs &x) |
Initialize with selection strategy a s | Gecode::SetValBranch::SetValBranch (Select s=SEL_MIN_INC) |
Initialize with random number generator a r | Gecode::SetValBranch::SetValBranch (Select s, Rnd r) |
Initialize with value function a f and commit function a c | Gecode::SetValBranch::SetValBranch (SetBranchVal v, SetBranchCommit c) |
Return selection strategy Select | Gecode::SetValBranch::select (void) const |
Initialize with selection strategy a s | Gecode::SetAssign::SetAssign (Select s=SEL_MIN_INC) |
Initialize with random number generator a r | Gecode::SetAssign::SetAssign (Select s, Rnd r) |
Initialize with value function a f and commit function a c | Gecode::SetAssign::SetAssign (SetBranchVal v, SetBranchCommit c) |
Return selection strategy Select | Gecode::SetAssign::select (void) const |
SymmetryHandle | Gecode::VariableSymmetry (const SetVarArgs &x) |
SymmetryHandle | Gecode::VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
Variable sequences in x of size ss are interchangeable. More... | |
void | Gecode::relax (Home home, const SetVarArgs &x, const SetVarArgs &sx, Rnd r, double p) |
Gecode::StdSetTracer::StdSetTracer (std::ostream &os0=std::cerr) | |
Initialize with output stream os0. More... | |
virtual void | Gecode::StdSetTracer::init (const Space &home, const SetTraceRecorder &t) |
Print init information. More... | |
virtual void | Gecode::StdSetTracer::prune (const Space &home, const SetTraceRecorder &t, const ViewTraceInfo &vti, int i, SetTraceDelta &d) |
Print prune information. More... | |
virtual void | Gecode::StdSetTracer::fix (const Space &home, const SetTraceRecorder &t) |
Print fixpoint information. More... | |
virtual void | Gecode::StdSetTracer::fail (const Space &home, const SetTraceRecorder &t) |
Print failure information. More... | |
virtual void | Gecode::StdSetTracer::done (const Space &home, const SetTraceRecorder &t) |
Print that trace recorder is done. More... | |
Constructor | |
Gecode::SetTraceDelta::SetTraceDelta (Set::SetTraceView o, Set::SetView n, const Delta &d) | |
Initialize with old trace view o, new view n, and delta d. More... | |
Access to delta iterators | |
Glb & | Gecode::SetTraceDelta::glb (void) |
Give access to iterator for delta in greatest lower bound (values that have been included) More... | |
Lub & | Gecode::SetTraceDelta::lub (void) |
Give access iterator for delta in leat bound (values that have been removed) More... | |
Constructors and initialization | |
Gecode::SetTraceDelta::Glb::Glb (RangeList *o, Set::SetView n) | |
Initialize with old glb and new glb. More... | |
Constructors and initialization | |
Gecode::SetTraceDelta::Lub::Lub (RangeList *o, Set::SetView n) | |
Initialize with old lub o and new lub n. More... | |
Enumerator | |
---|---|
SEL_NONE | First unassigned. |
SEL_RND | Random (uniform, for tie breaking) |
SEL_MERIT_MIN | With least merit. |
SEL_MERIT_MAX | With highest merit. |
SEL_DEGREE_MIN | With smallest degree. |
SEL_DEGREE_MAX | With largest degree. |
SEL_AFC_MIN | With smallest accumulated failure count. |
SEL_AFC_MAX | With largest accumulated failure count. |
SEL_ACTION_MIN | With lowest action. |
SEL_ACTION_MAX | With highest action. |
SEL_CHB_MIN | With lowest CHB Q-score. |
SEL_CHB_MAX | With highest CHB Q-score. |
SEL_MIN_MIN | With smallest minimum unknown element. |
SEL_MIN_MAX | With largest minimum unknown element. |
SEL_MAX_MIN | With smallest maximum unknown element. |
SEL_MAX_MAX | With largest maximum unknown element. |
SEL_SIZE_MIN | With smallest unknown set. |
SEL_SIZE_MAX | With largest unknown set. |
SEL_DEGREE_SIZE_MIN | With smallest degree divided by domain size. |
SEL_DEGREE_SIZE_MAX | With largest degree divided by domain size. |
SEL_AFC_SIZE_MIN | With smallest accumulated failure count divided by domain size. |
SEL_AFC_SIZE_MAX | With largest accumulated failure count divided by domain size. |
SEL_ACTION_SIZE_MIN | With smallest action divided by domain size. |
SEL_ACTION_SIZE_MAX | With largest action divided by domain size. |
SEL_CHB_SIZE_MIN | With smallest CHB Q-score divided by domain size. |
SEL_CHB_SIZE_MAX | With largest CHB Q-score divided by domain size. |
|
inline |
|
inline |
|
inline |
Initialize for set variables x with decay factor d.
This member function can only be used once and only if the AFC storage has been constructed with the default constructor.
If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.
|
inline |
Construct as not yet initialized.
The only member functions that can be used on a constructed but not yet initialized action storage is init or the assignment operator.
Definition at line 37 of file action.hpp.
|
inline |
Definition at line 40 of file action.hpp.
Gecode::SetAction::SetAction | ( | Home | home, |
const SetVarArgs & | x, | ||
double | d = 1.0 , |
||
SetBranchMerit | bm = nullptr |
||
) |
Initialize for set variables x with decay factor d.
If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.
Definition at line 38 of file action.cpp.
void Gecode::SetAction::init | ( | Home | home, |
const SetVarArgs & | x, | ||
double | d = 1.0 , |
||
SetBranchMerit | bm = nullptr |
||
) |
Initialize for set variables x with decay factor d.
If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.
This member function can only be used once and only if the action storage has been constructed with the default constructor.
Definition at line 45 of file action.cpp.
|
inline |
Gecode::SetCHB::SetCHB | ( | Home | home, |
const SetVarArgs & | x, | ||
SetBranchMerit | bm = nullptr |
||
) |
void Gecode::SetCHB::init | ( | Home | home, |
const SetVarArgs & | x, | ||
SetBranchMerit | bm = nullptr |
||
) |
Initialize for set variables x.
If the branch merit function bm is different from nullptr, the action for each variable is initialized with the merit returned by bm.
This member function can only be used once and only if the action storage has been constructed with the default constructor.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 37 of file assign.hpp.
Definition at line 41 of file assign.hpp.
|
inline |
Definition at line 45 of file assign.hpp.
|
inline |
Definition at line 49 of file assign.hpp.
Variables in a x are interchangeable SymmetryHandle Gecode::VariableSymmetry | ( | const SetVarArgs & | x | ) |
SymmetryHandle Gecode::VariableSequenceSymmetry | ( | const SetVarArgs & | x, |
int | ss | ||
) |
void Gecode::relax | ( | Home | home, |
const SetVarArgs & | x, | ||
const SetVarArgs & | sx, | ||
Rnd | r, | ||
double | p | ||
) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Gecode::StdSetTracer::StdSetTracer | ( | std::ostream & | os0 = std::cerr | ) |
Initialize with output stream os0.
Definition at line 39 of file tracer.cpp.
|
virtual |
Print init information.
Definition at line 43 of file tracer.cpp.
|
virtual |
Print prune information.
Definition at line 52 of file tracer.cpp.
|
virtual |
Print fixpoint information.
Definition at line 85 of file tracer.cpp.
|
virtual |
Print failure information.
Definition at line 103 of file tracer.cpp.
|
virtual |
Print that trace recorder is done.
Definition at line 121 of file tracer.cpp.
|
protected |
Initialize with selection strategy a Gecode::SetVarBranch::s |
Initialize with selection strategy a afc a Gecode::SetVarBranch::a |
Initialize with selection strategy a action a Gecode::SetVarBranch::a |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
static |