Recording CHB for set variables. More...
#include <set.hh>
Public Member Functions | |
| SetCHB (void) | |
| Construct as not yet initialized. More... | |
| Copy constructor | SetCHB (const SetCHB &chb) |
| Assignment | operator SetCHB &operator= (const SetCHB &chb) |
| SetCHB (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr) | |
| Initialize for set variables x. More... | |
| void | init (Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr) |
| Initialize for set variables x. More... | |
 Public Member Functions inherited from Gecode::CHB | |
| CHB (void) | |
| Construct as not yet intialized. More... | |
| CHB (const CHB &a) | |
| Copy constructor. More... | |
| CHB & | operator= (const CHB &a) |
| Assignment operator. More... | |
| template<class View > | |
| CHB (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm) | |
| Initialize for views x and Q-score as defined by bm. More... | |
| template<class View > | |
| void | init (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm) |
| Initialize for views x and Q-score as defined by bm. More... | |
| operator bool (void) const | |
| Test whether already initialized. More... | |
| void | update (Space &home, bool share, CHB &a) |
| Updating during cloning. More... | |
| ~CHB (void) | |
| Destructor. More... | |
| double | operator[] (int i) const |
| Return chb value at position i. More... | |
| int | size (void) const |
| Return number of chb values. More... | |
Additional Inherited Members | |
| Static Public Attributes inherited from Gecode::CHB | |
| static const CHB | def |
| Default (empty) chb information. More... | |
| Protected Member Functions inherited from Gecode::CHB | |
| void | update (int i) |
| Update chb value at position i. More... | |
| void | acquire (void) |
| Acquire mutex. More... | |
| void | release (void) |
| Release mutex. More... | |
| void | bump (void) |
| Bump failure count and alpha. More... | |
| void | update (int i, bool failed) |
| Update chb information at position i. More... | |
| Protected Attributes inherited from Gecode::CHB | |
| Storage * | storage |
| Pointer to storage object. More... | |
| Related Functions inherited from Gecode::CHB | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const CHB &a) |
| Print chb values enclosed in curly brackets. More... | |