CVC3
|
#include <memory_manager_malloc.h>
Inherits CVC3::MemoryManager.
Public Member Functions | |
MemoryManagerMalloc () | |
~MemoryManagerMalloc () | |
void * | newData (size_t size) |
void | deleteData (void *d) |
![]() | |
virtual | ~MemoryManager () |
Definition at line 39 of file memory_manager_malloc.h.
|
inline |
Definition at line 42 of file memory_manager_malloc.h.
|
inline |
Definition at line 44 of file memory_manager_malloc.h.
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 46 of file memory_manager_malloc.h.
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 50 of file memory_manager_malloc.h.