Class for CHB management. More...
#include <chb.hpp>
Classes | |
class | Info |
View information. More... | |
class | Recorder |
Propagator for recording chb information. More... | |
class | Storage |
Object for storing chb information. More... | |
Protected Member Functions | |
Storage & | object (void) const |
Return object of correct type. | |
void | object (Storage &o) |
Set object to o. | |
void | update (int i) |
Update chb value at position i. | |
void | acquire (void) |
Acquire mutex. | |
void | release (void) |
Release mutex. | |
void | bump (void) |
Bump failure count and alpha. | |
void | update (int i, bool failed) |
Update chb information at position i. | |
![]() | |
SharedHandle::Object * | object (void) const |
Access to the shared object. | |
void | object (SharedHandle::Object *n) |
Modify shared object. | |
Related Symbols | |
(Note that these are not member symbols.) | |
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. | |
Constructors and initialization | |
static const CHB | def |
Default (empty) chb information. | |
CHB (void) | |
Construct as not yet intialized. | |
CHB (const CHB &a) | |
Copy constructor. | |
CHB & | operator= (const CHB &a) |
Assignment operator. | |
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. | |
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. | |
~CHB (void) | |
Destructor. | |
Information access | |
double | operator[] (int i) const |
Return chb value at position i. | |
int | size (void) const |
Return number of chb values. | |
Additional Inherited Members | |
![]() | |
SharedHandle (void) | |
Create shared handle with no object pointing to. | |
SharedHandle (SharedHandle::Object *so) | |
Create shared handle that points to shared object so. | |
SharedHandle (const SharedHandle &sh) | |
Copy constructor maintaining reference count. | |
SharedHandle & | operator= (const SharedHandle &sh) |
Assignment operator maintaining reference count. | |
~SharedHandle (void) | |
Destructor that maintains reference count. | |
operator bool (void) const | |
Whether handle points to an object. | |
Class for CHB management.
The idea is taken from: Exponential Recency Weighted Average Branching Heuristic for SAT Solvers, Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki, AAAI 2016, pages 3434-3440.
|
inline |
|
inline |
|
inlineprotected |
|
inlineprotected |
|
protected |
Update chb value at position i.
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
related |
|
static |