
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... | |
Public Member Functions inherited from Gecode::SharedHandle::Object | |
| 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 Public Member Functions inherited from Gecode::HeapAllocated | |
| 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 |