Space-memory management
[Memory management]
Namespaces | |
namespace | Gecode::Memory::Config |
Parameters defining memory management policy for spaces. | |
Classes | |
class | Gecode::FreeList |
Base-class for freelist-managed objects. More... | |
Functions | |
void * | Gecode::Space::alloc (size_t) |
Allocate memory on space heap. | |
void | Gecode::Space::reuse (void *, size_t) |
Attempt to reuse memory previously allocated with alloc. | |
template<size_t > | |
void * | Gecode::Space::fl_alloc (void) |
Allocate from freelist-managed memory. | |
template<size_t > | |
void | Gecode::Space::fl_dispose (FreeList *f, FreeList *l) |
Return freelist-managed memory to freelist. | |
size_t | Gecode::Space::allocated (void) const |
Return how much heap memory is allocated. |
Function Documentation
void * Gecode::Space::alloc | ( | size_t | s | ) | [inline, inherited] |
void Gecode::Space::reuse | ( | void * | p, | |
size_t | s | |||
) | [inline, inherited] |
template<size_t s>
void * Gecode::Space::fl_alloc | ( | void | ) | [inline, inherited] |
size_t Gecode::Space::allocated | ( | void | ) | const [inherited] |