#include <memory_manager_malloc.h>
Definition at line 39 of file memory_manager_malloc.h.
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.
void* CVC3::MemoryManagerMalloc::newData | ( | size_t | size | ) | [inline, virtual] |
void CVC3::MemoryManagerMalloc::deleteData | ( | void * | d | ) | [inline, virtual] |