CVC3::CDMapOrderedData Class Reference

#include <cdmap_ordered.h>

Inheritance diagram for CVC3::CDMapOrderedData:

[legend]

Collaboration diagram for CVC3::CDMapOrderedData:

[legend]

List of all members.

Public Member Functions

• CDMapOrderedData (Context *context)
• CDMapOrderedData (const ContextObj &co)

Private Member Functions

• ContextObj * makeCopy (ContextMemoryManager *cmm)

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

• void restoreData (ContextObj *data)

  Restore the current object from the given data.
  

• void setNull (void)

  Set the current object to be invalid.
  

---

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:

• cdmap_ordered.h