CVC3
CVC3::MemoryManagerChunks Member List

This is the complete list of members for CVC3::MemoryManagerChunks, including all inherited members.

d_chunkListCVC3::MemoryManagerChunksprivate
d_chunkSizeCVC3::MemoryManagerChunksprivate
d_chunkSizeBytesCVC3::MemoryManagerChunksprivate
d_dataSizeCVC3::MemoryManagerChunksprivate
d_endChunkCVC3::MemoryManagerChunksprivate
d_freeListCVC3::MemoryManagerChunksprivate
d_nextFreeCVC3::MemoryManagerChunksprivate
deleteData(void *d)CVC3::MemoryManagerChunksinlinevirtual
MemoryManagerChunks(unsigned dataSize, unsigned chunkSize=1024)CVC3::MemoryManagerChunksinline
newChunk()CVC3::MemoryManagerChunksinlineprivate
newData(size_t size)CVC3::MemoryManagerChunksinlinevirtual
~MemoryManager()CVC3::MemoryManagerinlinevirtual
~MemoryManagerChunks()CVC3::MemoryManagerChunksinline
Generated on Thu May 16 2013 13:25:17 for CVC3 by   doxygen 1.8.2