CVC3::ContextMemoryManager Member List

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

ContextMemoryManager(unsigned chunkSize=16384)CVC3::ContextMemoryManager [inline]
d_chunkListCVC3::ContextMemoryManager [private]
d_chunkSizeBytesCVC3::ContextMemoryManager [private]
d_endChunkCVC3::ContextMemoryManager [private]
d_endChunkStackCVC3::ContextMemoryManager [private]
d_indexChunkListCVC3::ContextMemoryManager [private]
d_indexChunkListStackCVC3::ContextMemoryManager [private]
d_nextFreeCVC3::ContextMemoryManager [private]
d_nextFreeStackCVC3::ContextMemoryManager [private]
deleteData(void *d)CVC3::ContextMemoryManager [inline, virtual]
garbageCollect(void)CVC3::ContextMemoryManager [inline, static]
getMemory()CVC3::ContextMemoryManager [inline]
getStaticMemory()CVC3::ContextMemoryManager [inline, static]
newChunk()CVC3::ContextMemoryManager [inline, private]
newData(size_t size)CVC3::ContextMemoryManager [inline, virtual]
pop()CVC3::ContextMemoryManager [inline]
push()CVC3::ContextMemoryManager [inline]
s_freePagesCVC3::ContextMemoryManager [private, static]
~ContextMemoryManager()CVC3::ContextMemoryManager [inline]
~MemoryManager()CVC3::MemoryManager [inline, virtual]


Generated on Tue Jul 3 14:36:56 2007 for CVC3 by  doxygen 1.5.1