- Gecode
- BoolCHB

Recording CHB for Boolean variables. More...
#include <int.hh>
Public Member Functions | |
| BoolCHB (void) | |
| Construct as not yet initialized. More... | |
| BoolCHB (const BoolCHB &chb) | |
| Copy constructor. More... | |
| BoolCHB & | operator= (const BoolCHB &chb) |
| Assignment operator. More... | |
| BoolCHB (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr) | |
| Initialize for Boolean variables x. More... | |
| void | init (Home home, const BoolVarArgs &x, BoolBranchMerit bm=nullptr) |
| Initialize for Boolean 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... | |
| ~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... | |
Public Member Functions inherited from Gecode::SharedHandle | |
| 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 Public Attributes inherited from Gecode::CHB | |
| static const CHB | def |
| Default (empty) chb information. More... | |
Protected Member Functions inherited from Gecode::CHB | |
| 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... | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle::Object * | object (void) const |
| Access to the shared object. More... | |
| void | object (SharedHandle::Object *n) |
| Modify shared 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... | |
|
inline |
|
inline |
| Gecode::BoolCHB::BoolCHB | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| BoolBranchMerit | bm = nullptr |
||
| ) |
| void Gecode::BoolCHB::init | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| BoolBranchMerit | bm = nullptr |
||
| ) |
Initialize for Boolean 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.