Gecode::CHB Class Reference
Class for CHB management.
More...
#include <chb.hpp>
List of all members.
Classes |
class | Info |
| View information. More...
|
class | Recorder |
| Propagator for recording chb information. More...
|
class | Storage |
| Object for storing chb information. More...
|
Public Member Functions |
| ~CHB (void) |
| Destructor.
|
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.
|
Related Functions |
(Note that these are not member functions.)
|
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.
|
Information access |
|
double | operator[] (int i) const |
| Return chb value at position i.
|
int | size (void) const |
| Return number of chb values.
|
Detailed Description
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.
Definition at line 46 of file chb.hpp.
Constructor & Destructor Documentation
Gecode::CHB::CHB |
( |
void |
|
) |
[inline] |
Construct as not yet intialized.
The only member functions that can be used on a constructed but not yet initialized chb storage is init and the assignment operator.
Definition at line 346 of file chb.hpp.
Gecode::CHB::CHB |
( |
const CHB & |
a |
) |
|
Copy constructor.
Definition at line 46 of file chb.cpp.
Initialize for views x and Q-score as defined by bm.
Definition at line 350 of file chb.hpp.
Gecode::CHB::~CHB |
( |
void |
|
) |
|
Destructor.
Definition at line 55 of file chb.cpp.
Member Function Documentation
CHB::Storage & Gecode::CHB::object |
( |
void |
|
) |
const [inline, protected] |
void Gecode::CHB::object |
( |
CHB::Storage & |
o |
) |
[inline, protected] |
void Gecode::CHB::update |
( |
int |
i |
) |
[protected] |
Update chb value at position i.
void Gecode::CHB::acquire |
( |
void |
|
) |
[inline, protected] |
Acquire mutex.
Definition at line 329 of file chb.hpp.
void Gecode::CHB::release |
( |
void |
|
) |
[inline, protected] |
Release mutex.
Definition at line 333 of file chb.hpp.
void Gecode::CHB::bump |
( |
void |
|
) |
[inline, protected] |
Bump failure count and alpha.
Definition at line 337 of file chb.hpp.
void Gecode::CHB::update |
( |
int |
i, |
|
|
bool |
failed | |
|
) |
| | [inline, protected] |
Update chb information at position i.
Definition at line 341 of file chb.hpp.
CHB & Gecode::CHB::operator= |
( |
const CHB & |
a |
) |
|
Assignment operator.
Definition at line 50 of file chb.cpp.
template<class View >
void Gecode::CHB::init |
( |
Home |
home, |
|
|
ViewArray< View > & |
x, |
|
|
typename BranchTraits< typename View::VarType >::Merit |
bm | |
|
) |
| | [inline] |
Initialize for views x and Q-score as defined by bm.
Definition at line 358 of file chb.hpp.
double Gecode::CHB::operator[] |
( |
int |
i |
) |
const [inline] |
Return chb value at position i.
Definition at line 320 of file chb.hpp.
int Gecode::CHB::size |
( |
void |
|
) |
const [inline] |
Return number of chb values.
Definition at line 325 of file chb.hpp.
Friends And Related Function Documentation
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & |
os, |
|
|
const CHB & |
a | |
|
) |
| | [related] |
Print chb values enclosed in curly brackets.
Definition at line 367 of file chb.hpp.
Member Data Documentation
Default (empty) chb information.
Definition at line 123 of file chb.hpp.
The documentation for this class was generated from the following files: