Public Member Functions | Private Member Functions

CVC3::CDMapOrderedData Class Reference

#include <cdmap_ordered.h>

Inherits CVC3::ContextObj.

Collaboration diagram for CVC3::CDMapOrderedData:
Collaboration graph

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: