- Gecode
- Kernel
- SharedMemory

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 60 of file manager.hpp.
|
inline |
Initialize.
Definition at line 184 of file manager.hpp.
|
inline |
Destructor.
Definition at line 189 of file manager.hpp.
|
inline |
Return heap chunk, preferable of size s, but at least of size l.
Definition at line 198 of file manager.hpp.
|
inline |
Free heap chunk (or cache for later)
Definition at line 220 of file manager.hpp.
| unsigned int Gecode::Kernel::SharedMemory::n_hc |
How many heap chunks are available for caching.
Definition at line 65 of file manager.hpp.
| HeapChunk* Gecode::Kernel::SharedMemory::hc |
A list of cached heap chunks.
Definition at line 67 of file manager.hpp.