CVC3

CVC3::MemoryManagerChunks Member List

This is the complete list of members for CVC3::MemoryManagerChunks, including all inherited members.
d_chunkListCVC3::MemoryManagerChunks [private]
d_chunkSizeCVC3::MemoryManagerChunks [private]
d_chunkSizeBytesCVC3::MemoryManagerChunks [private]
d_dataSizeCVC3::MemoryManagerChunks [private]
d_endChunkCVC3::MemoryManagerChunks [private]
d_freeListCVC3::MemoryManagerChunks [private]
d_nextFreeCVC3::MemoryManagerChunks [private]
deleteData(void *d)CVC3::MemoryManagerChunks [inline, virtual]
MemoryManagerChunks(unsigned dataSize, unsigned chunkSize=1024)CVC3::MemoryManagerChunks [inline]
newChunk()CVC3::MemoryManagerChunks [inline, private]
newData(size_t size)CVC3::MemoryManagerChunks [inline, virtual]
~MemoryManager()CVC3::MemoryManager [inline, virtual]
~MemoryManagerChunks()CVC3::MemoryManagerChunks [inline]