CVC3::MemoryManager Class Reference

#include <memory_manager.h>

Inheritance diagram for CVC3::MemoryManager:
CVC3::ContextMemoryManager CVC3::MemoryManagerChunks CVC3::MemoryManagerMalloc

List of all members.

Public Member Functions


Detailed Description

Definition at line 39 of file memory_manager.h.


Constructor & Destructor Documentation

virtual CVC3::MemoryManager::~MemoryManager (  )  [inline, virtual]

Definition at line 42 of file memory_manager.h.


Member Function Documentation

virtual void* CVC3::MemoryManager::newData ( size_t  size  )  [pure virtual]
virtual void CVC3::MemoryManager::deleteData ( void *  d  )  [pure virtual]

The documentation for this class was generated from the following file:
Generated by  doxygen 1.6.2-20100208