#include <cdmap_ordered.h>
Inherits CVC3::ContextObj.
Collaboration diagram for CVC3::CDMapOrderedData:
Public Member Functions | |
| CDMapOrderedData (Context *context) | |
| CDMapOrderedData (const ContextObj &co) | |
 Public Member Functions inherited from CVC3::ContextObj | |
| ContextObj (Context *context) | |
| Create a new ContextObj. | |
| virtual | ~ContextObj () |
| int | level () const |
| bool | isCurrent (int scope=-1) const |
| void | makeCurrent (int scope=-1) |
| void * | operator new (size_t size, MemoryManager *mm) |
| void | operator delete (void *pMem, MemoryManager *mm) |
| void * | operator new (size_t size, bool b) |
| void | operator delete (void *pMem, bool b) |
| void | operator delete (void *) |
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. | |
Additional Inherited Members | |
| Protected Member Functions inherited from CVC3::ContextObj | |
| ContextObj (const ContextObj &co) | |
| Copy constructor (defined mainly for debugging purposes) | |
| ContextObj & | operator= (const ContextObj &co) |
| Assignment operator (defined mainly for debugging purposes) | |
| const ContextObj * | getRestore () |
| ContextMemoryManager * | getCMM () |
| Return our name (for debugging) | |
Detailed Description
Definition at line 116 of file cdmap_ordered.h.
Constructor & Destructor Documentation
|
inline |
Definition at line 122 of file cdmap_ordered.h.
Referenced by makeCopy().
|
inline |
Definition at line 123 of file cdmap_ordered.h.
Member Function Documentation
|
inlineprivatevirtual |
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().
|
inlineprivatevirtual |
Restore the current object from the given data.
Reimplemented from CVC3::ContextObj.
Definition at line 119 of file cdmap_ordered.h.
|
inlineprivatevirtual |
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:
