#include <memory_manager_chunks.h>
Definition at line 42 of file memory_manager_chunks.h.
CVC3::MemoryManagerChunks::MemoryManagerChunks |
( |
unsigned |
dataSize, |
|
|
unsigned |
chunkSize = 1024 |
|
) |
| |
|
inline |
CVC3::MemoryManagerChunks::~MemoryManagerChunks |
( |
| ) |
|
|
inline |
void CVC3::MemoryManagerChunks::newChunk |
( |
| ) |
|
|
inlineprivate |
void* CVC3::MemoryManagerChunks::newData |
( |
size_t |
size | ) |
|
|
inlinevirtual |
void CVC3::MemoryManagerChunks::deleteData |
( |
void * |
d | ) |
|
|
inlinevirtual |
unsigned CVC3::MemoryManagerChunks::d_dataSize |
|
private |
unsigned CVC3::MemoryManagerChunks::d_chunkSize |
|
private |
unsigned CVC3::MemoryManagerChunks::d_chunkSizeBytes |
|
private |
std::vector<char*> CVC3::MemoryManagerChunks::d_freeList |
|
private |
std::vector<char*> CVC3::MemoryManagerChunks::d_chunkList |
|
private |
char* CVC3::MemoryManagerChunks::d_nextFree |
|
private |
char* CVC3::MemoryManagerChunks::d_endChunk |
|
private |
The documentation for this class was generated from the following file: