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... | |
![]() | |
~CHB (void) | |
Destructor. More... | |
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... | |
double | operator[] (int i) const |
Return chb value at position i. More... | |
int | size (void) const |
Return number of chb values. More... | |
![]() | |
SharedHandle (void) | |
Create shared handle with no object pointing to. More... | |
SharedHandle (SharedHandle::Object *so) | |
Create shared handle that points to shared object so. More... | |
SharedHandle (const SharedHandle &sh) | |
Copy constructor maintaining reference count. More... | |
SharedHandle & | operator= (const SharedHandle &sh) |
Assignment operator maintaining reference count. More... | |
~SharedHandle (void) | |
Destructor that maintains reference count. More... | |
operator bool (void) const | |
Whether handle points to an object. More... | |
Additional Inherited Members | |
![]() | |
static const CHB | def |
Default (empty) chb information. More... | |
![]() | |
Storage & | object (void) const |
Return object of correct type. More... | |
void | object (Storage &o) |
Set object to o. More... | |
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... | |
![]() | |
SharedHandle::Object * | object (void) const |
Access to the shared object. More... | |
void | object (SharedHandle::Object *n) |
Modify shared object. More... | |
![]() | |
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... | |