Gecode::CHB::Storage Class Reference
Object for storing chb information.
More...
#include <chb.hpp>
List of all members.
Public Member Functions |
| template<class View > |
| | Storage (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm) |
| | Initialize CHB info.
|
| | ~Storage (void) |
| | Delete object.
|
| void | bump (void) |
| | Bump failure count and alpha.
|
| void | update (int i, bool failed) |
| | Update chb information at position i.
|
Public Attributes |
| int | n |
| | Number of chb values.
|
| unsigned long int | nf |
| | Number of failures.
|
| double | alpha |
| | Alpha value.
|
| Info * | chb |
| | CHB information.
|
Static Public Attributes |
| static Support::Mutex | m |
| | Mutex to synchronize globally shared access.
|
Detailed Description
Object for storing chb information.
Definition at line 59 of file chb.hpp.
Constructor & Destructor Documentation
template<class View >
| Gecode::CHB::Storage::Storage |
( |
Home |
home, |
|
|
ViewArray< View > & |
x, |
|
|
typename BranchTraits< typename View::VarType >::Merit |
bm | |
|
) |
| | [inline] |
| Gecode::CHB::Storage::~Storage |
( |
void |
|
) |
|
Delete object.
Definition at line 40 of file chb.cpp.
Member Function Documentation
| void Gecode::CHB::Storage::bump |
( |
void |
|
) |
[inline] |
Bump failure count and alpha.
Definition at line 285 of file chb.hpp.
| void Gecode::CHB::Storage::update |
( |
int |
i, |
|
|
bool |
failed | |
|
) |
| | [inline] |
Update chb information at position i.
Definition at line 292 of file chb.hpp.
Member Data Documentation
Mutex to synchronize globally shared access.
Definition at line 62 of file chb.hpp.
Number of chb values.
Definition at line 64 of file chb.hpp.
Number of failures.
Definition at line 66 of file chb.hpp.
The documentation for this class was generated from the following files:
