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) |
| Allocate 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 |
Support::Mutex | m |
| Mutex to synchronize globally shared access.
|
unsigned int | use_cnt |
| How many references exist for this object.
|
int | n |
| Number of chb values.
|
Info * | chb |
| CHB information.
|
unsigned long long int | nf |
| Number of failures.
|
double | alpha |
| Alpha value.
|
Detailed Description
Object for storing chb information.
Definition at line 63 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 |
|
) |
[inline] |
Delete object.
Definition at line 314 of file chb.hpp.
Member Function Documentation
void Gecode::CHB::Storage::bump |
( |
void |
|
) |
[inline] |
Bump failure count and alpha.
Definition at line 296 of file chb.hpp.
void Gecode::CHB::Storage::update |
( |
int |
i, |
|
|
bool |
failed | |
|
) |
| | [inline] |
Update chb information at position i.
Definition at line 303 of file chb.hpp.
Member Data Documentation
Mutex to synchronize globally shared access.
Definition at line 66 of file chb.hpp.
How many references exist for this object.
Definition at line 68 of file chb.hpp.
Number of chb values.
Definition at line 70 of file chb.hpp.
Number of failures.
Definition at line 74 of file chb.hpp.
The documentation for this class was generated from the following file: