Shared object for several memory areas. More...
#include <manager.hpp>
Public Member Functions | |
SharedMemory (void) | |
Initialize. More... | |
~SharedMemory (void) | |
Destructor. More... | |
Heap management | |
HeapChunk * | alloc (size_t s, size_t l) |
Return heap chunk, preferable of size s, but at least of size l. More... | |
void | free (HeapChunk *hc) |
Free heap chunk (or cache for later) More... | |
Shared object for several memory areas.
Definition at line 64 of file manager.hpp.
|
inline |
Initialize.
Definition at line 188 of file manager.hpp.
|
inline |
Destructor.
Definition at line 193 of file manager.hpp.
|
inline |
Return heap chunk, preferable of size s, but at least of size l.
Definition at line 202 of file manager.hpp.
|
inline |
Free heap chunk (or cache for later)
Definition at line 224 of file manager.hpp.
unsigned int Gecode::Kernel::SharedMemory::n_hc |
How many heap chunks are available for caching.
Definition at line 69 of file manager.hpp.
HeapChunk* Gecode::Kernel::SharedMemory::hc |
A list of cached heap chunks.
Definition at line 71 of file manager.hpp.