CVC3::MemoryManagerMalloc Class Reference

#include <memory_manager_malloc.h>

Inheritance diagram for CVC3::MemoryManagerMalloc:

[legend]

Collaboration diagram for CVC3::MemoryManagerMalloc:

[legend]

List of all members.

Public Member Functions

• MemoryManagerMalloc ()
• ~MemoryManagerMalloc ()
• void * newData (size_t size)
• void deleteData (void *d)

---

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:

• memory_manager_malloc.h