#include <memory_manager_malloc.h>
Detailed Description
Definition at line 39 of file memory_manager_malloc.h.
Constructor & Destructor Documentation
CVC3::MemoryManagerMalloc::MemoryManagerMalloc |
( |
| ) |
|
|
inline |
CVC3::MemoryManagerMalloc::~MemoryManagerMalloc |
( |
| ) |
|
|
inline |
Member Function Documentation
void* CVC3::MemoryManagerMalloc::newData |
( |
size_t |
size | ) |
|
|
inlinevirtual |
void CVC3::MemoryManagerMalloc::deleteData |
( |
void * |
d | ) |
|
|
inlinevirtual |
The documentation for this class was generated from the following file: