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

#include <memory_manager_malloc.h>

Inheritance diagram for CVC3::MemoryManagerMalloc:
CVC3::MemoryManager

Public Member Functions

 MemoryManagerMalloc ()
 ~MemoryManagerMalloc ()
void * newData (size_t size)
void deleteData (void *d)
- Public Member Functions inherited from CVC3::MemoryManager
virtual ~MemoryManager ()

Detailed Description

Definition at line 39 of file memory_manager_malloc.h.

Constructor & Destructor Documentation

CVC3::MemoryManagerMalloc::MemoryManagerMalloc ( )
inline

Definition at line 42 of file memory_manager_malloc.h.

CVC3::MemoryManagerMalloc::~MemoryManagerMalloc ( )
inline

Definition at line 44 of file memory_manager_malloc.h.

Member Function Documentation

void* CVC3::MemoryManagerMalloc::newData ( size_t  size)
inlinevirtual

Implements CVC3::MemoryManager.

Definition at line 46 of file memory_manager_malloc.h.

void CVC3::MemoryManagerMalloc::deleteData ( void *  d)
inlinevirtual

Implements CVC3::MemoryManager.

Definition at line 50 of file memory_manager_malloc.h.


The documentation for this class was generated from the following file: