CVC3::CDMapOrderedData Class Reference

#include <cdmap_ordered.h>

Inheritance diagram for CVC3::CDMapOrderedData:

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

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions


Detailed Description

Definition at line 116 of file cdmap_ordered.h.


Constructor & Destructor Documentation

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

Definition at line 122 of file cdmap_ordered.h.

Referenced by makeCopy().

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

Definition at line 123 of file cdmap_ordered.h.


Member Function Documentation

ContextObj* CVC3::CDMapOrderedData::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_ordered.h.

References CDMapOrderedData().

void CVC3::CDMapOrderedData::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_ordered.h.

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

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 120 of file cdmap_ordered.h.


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