CVC3
2.4.1
|
This is the complete list of members for CVC3::MemoryManagerChunks, including all inherited members.
d_chunkList | CVC3::MemoryManagerChunks | private |
d_chunkSize | CVC3::MemoryManagerChunks | private |
d_chunkSizeBytes | CVC3::MemoryManagerChunks | private |
d_dataSize | CVC3::MemoryManagerChunks | private |
d_endChunk | CVC3::MemoryManagerChunks | private |
d_freeList | CVC3::MemoryManagerChunks | private |
d_nextFree | CVC3::MemoryManagerChunks | private |
deleteData(void *d) | CVC3::MemoryManagerChunks | inlinevirtual |
MemoryManagerChunks(unsigned dataSize, unsigned chunkSize=1024) | CVC3::MemoryManagerChunks | inline |
newChunk() | CVC3::MemoryManagerChunks | inlineprivate |
newData(size_t size) | CVC3::MemoryManagerChunks | inlinevirtual |
~MemoryManager() | CVC3::MemoryManager | inlinevirtual |
~MemoryManagerChunks() | CVC3::MemoryManagerChunks | inline |