CVC3  2.4.1
Public Member Functions | List of all members
CVC3::MemoryManager Class Reference

#include <memory_manager.h>

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

Public Member Functions

virtual ~MemoryManager ()
virtual void * newData (size_t size)=0
virtual void deleteData (void *d)=0

Detailed Description

Definition at line 39 of file memory_manager.h.

Constructor & Destructor Documentation

virtual CVC3::MemoryManager::~MemoryManager ( )
inlinevirtual

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: