CVC3
CVC3::ContextMemoryManager Member List

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

ContextMemoryManager()CVC3::ContextMemoryManagerinline
d_chunkListCVC3::ContextMemoryManagerprivate
d_endChunkCVC3::ContextMemoryManagerprivate
d_endChunkStackCVC3::ContextMemoryManagerprivate
d_indexChunkListCVC3::ContextMemoryManagerprivate
d_indexChunkListStackCVC3::ContextMemoryManagerprivate
d_nextFreeCVC3::ContextMemoryManagerprivate
d_nextFreeStackCVC3::ContextMemoryManagerprivate
deleteData(void *d)CVC3::ContextMemoryManagerinlinevirtual
garbageCollect(void)CVC3::ContextMemoryManagerinlinestatic
getMemory(int verbosity)CVC3::ContextMemoryManagerinline
getStaticMemory(int verbosity)CVC3::ContextMemoryManagerinlinestatic
newChunk()CVC3::ContextMemoryManagerinlineprivate
newData(size_t size)CVC3::ContextMemoryManagerinlinevirtual
pop()CVC3::ContextMemoryManagerinline
push()CVC3::ContextMemoryManagerinline
s_freePagesCVC3::ContextMemoryManagerprivatestatic
~ContextMemoryManager()CVC3::ContextMemoryManagerinline
~MemoryManager()CVC3::MemoryManagerinlinevirtual