CVC3::MemoryManagerMalloc Class Reference

#include <memory_manager_malloc.h>

Inheritance diagram for CVC3::MemoryManagerMalloc:

Inheritance graph
[legend]
Collaboration diagram for CVC3::MemoryManagerMalloc:

Collaboration graph
[legend]
List of all members.

Public Member Functions


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  )  [inline, virtual]

Implements CVC3::MemoryManager.

Definition at line 46 of file memory_manager_malloc.h.

void CVC3::MemoryManagerMalloc::deleteData ( void *  d  )  [inline, virtual]

Implements CVC3::MemoryManager.

Definition at line 50 of file memory_manager_malloc.h.


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:15:34 2009 for CVC3 by  doxygen 1.5.2