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] |
template<class View >
| Gecode::CHB::CHB | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| typename BranchTraits< typename View::VarType >::Merit | bm | |||
| ) | [inline] |
Member Function Documentation
| CHB::Storage & Gecode::CHB::object | ( | void | ) | const [inline, protected] |
Return object of correct type.
Reimplemented from Gecode::SharedHandle.
| 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] |
| void Gecode::CHB::release | ( | void | ) | [inline, protected] |
| void Gecode::CHB::bump | ( | void | ) | [inline, protected] |
| void Gecode::CHB::update | ( | int | i, | |
| bool | failed | |||
| ) | [inline, protected] |
template<class View >
| void Gecode::CHB::init | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| typename BranchTraits< typename View::VarType >::Merit | bm | |||
| ) | [inline] |
| double Gecode::CHB::operator[] | ( | int | i | ) | const [inline] |
| int Gecode::CHB::size | ( | void | ) | const [inline] |
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] |
Member Data Documentation
const CHB Gecode::CHB::def [static] |
The documentation for this class was generated from the following files: