Gecode::MemoryManager Class Reference
Detailed Description
Manage memory for space.Definition at line 155 of file memory-manager.icc.
Public Member Functions | |
MemoryManager (void) | |
Constructor initialization. | |
MemoryManager (MemoryManager &mm, size_t s_sub) | |
Constructor during cloning mm and for a memory area for subscriptions of size s_sub. | |
~MemoryManager (void) | |
Release all allocated heap chunks. | |
void * | alloc (size_t s) |
Allocate memory of size s. | |
size_t | allocated (void) const |
Return how much memory has been allocated. | |
void * | subscriptions (void) const |
Get the memory area for subscriptions. | |
template<size_t s> | |
void * | fl_alloc (void) |
Allocate free list element of size s. | |
template<size_t > | |
void | fl_dispose (FreeList *f, FreeList *l) |
Release all free list elements of size s between f and l (inclusive). | |
void | reuse (void *p, size_t s) |
Store for reusal, if of sufficient size for free list. |
Constructor & Destructor Documentation
Gecode::MemoryManager::MemoryManager | ( | void | ) | [inline] |
Gecode::MemoryManager::MemoryManager | ( | MemoryManager & | mm, | |
size_t | s_sub | |||
) | [inline] |
Constructor during cloning mm and for a memory area for subscriptions of size s_sub.
Definition at line 334 of file memory-manager.icc.
Gecode::MemoryManager::~MemoryManager | ( | void | ) | [inline] |
Member Function Documentation
void * Gecode::MemoryManager::alloc | ( | size_t | s | ) | [inline] |
size_t Gecode::MemoryManager::allocated | ( | void | ) | const [inline] |
void * Gecode::MemoryManager::subscriptions | ( | void | ) | const [inline] |
template<size_t s>
void * Gecode::MemoryManager::fl_alloc | ( | void | ) | [inline] |
Release all free list elements of size s between f and l (inclusive).
Definition at line 412 of file memory-manager.icc.
void Gecode::MemoryManager::reuse | ( | void * | p, | |
size_t | s | |||
) | [inline] |
Store for reusal, if of sufficient size for free list.
Definition at line 367 of file memory-manager.icc.
The documentation for this class was generated from the following files:
- gecode/kernel/memory-manager.icc (Revision: 7660)
- gecode/kernel/memory-manager.cc (Revision: 4790)