Object for storing chb information. More...
#include <chb.hpp>
Public Member Functions | |
template<class View > | |
Storage (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm) | |
Initialize CHB info. More... | |
~Storage (void) | |
Delete object. More... | |
void | bump (void) |
Bump failure count and alpha. More... | |
void | update (int i, bool failed) |
Update chb information at position i. More... | |
![]() | |
Object (void) | |
Initialize. More... | |
virtual | ~Object (void) |
Delete shared object. More... | |
Public Attributes | |
int | n |
Number of chb values. More... | |
unsigned long int | nf |
Number of failures. More... | |
double | alpha |
Alpha value. More... | |
Info * | chb |
CHB information. More... | |
Static Public Attributes | |
static Support::Mutex | m |
Mutex to synchronize globally shared access. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
|
inline |
|
inline |
|
inline |
|
static |
unsigned long int Gecode::CHB::Storage::nf |