CVC3::CDMapData Class Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDMapData:

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

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions


Detailed Description

Definition at line 116 of file cdmap.h.


Constructor & Destructor Documentation

CVC3::CDMapData::CDMapData ( Context context  )  [inline]

Definition at line 122 of file cdmap.h.

Referenced by makeCopy().

CVC3::CDMapData::CDMapData ( const ContextObj co  )  [inline]

Definition at line 123 of file cdmap.h.


Member Function Documentation

ContextObj* CVC3::CDMapData::makeCopy ( ContextMemoryManager cmm  )  [inline, private, virtual]

Make a copy of the current object so it can be restored to its current state.

Implements CVC3::ContextObj.

Definition at line 117 of file cdmap.h.

References CDMapData().

void CVC3::CDMapData::restoreData ( ContextObj data  )  [inline, private, virtual]

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 119 of file cdmap.h.

void CVC3::CDMapData::setNull ( void   )  [inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 120 of file cdmap.h.


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