The actual object to store the required information. More...
Public Member Functions | |
Object (Support::Mutex *m, Object *p=NULL) | |
Constructor. | |
Static Public Member Functions | |
static void * | operator new (size_t s) |
Allocate memory from heap. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
Public Attributes | |
Support::Mutex * | mutex |
Mutex to synchronize globally shared access. | |
Object * | parent |
Link to previous object (NULL if none) | |
unsigned int | use_cnt |
How many spaces or objects use this object. | |
unsigned int | size |
Size of current block. | |
unsigned int | free |
Number of free entries in current block. | |
Block * | cur |
Currently used block. |
The actual object to store the required information.
Gecode::GlobalPropInfo::Object::Object | ( | Support::Mutex * | m, |
Object * | p = NULL |
||
) | [inline] |
Constructor.
Definition at line 161 of file global-prop-info.hpp.
void * Gecode::GlobalPropInfo::Object::operator new | ( | size_t | s | ) | [inline, static] |
Allocate memory from heap.
Definition at line 143 of file global-prop-info.hpp.
void Gecode::GlobalPropInfo::Object::operator delete | ( | void * | p | ) | [inline, static] |
Free memory allocated from heap.
Definition at line 148 of file global-prop-info.hpp.
Mutex to synchronize globally shared access.
Definition at line 80 of file global-prop-info.hpp.
Link to previous object (NULL if none)
Definition at line 82 of file global-prop-info.hpp.
unsigned int Gecode::GlobalPropInfo::Object::use_cnt |
How many spaces or objects use this object.
Definition at line 84 of file global-prop-info.hpp.
unsigned int Gecode::GlobalPropInfo::Object::size |
Size of current block.
Definition at line 86 of file global-prop-info.hpp.
unsigned int Gecode::GlobalPropInfo::Object::free |
Number of free entries in current block.
Definition at line 88 of file global-prop-info.hpp.
Currently used block.
Definition at line 90 of file global-prop-info.hpp.