CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::CDOmap Class Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDOmap:
CVC3::ContextObj

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::CDOmap::CDOmap ( Context context,
CDMap< Key, Data, HashFcn > *  cdmap,
const Key &  key,
const Data &  data,
int  scope = -1 
) [inline]

Definition at line 86 of file cdmap.h.

CVC3::CDOmap::~CDOmap ( ) [inline]

Definition at line 101 of file cdmap.h.


Member Function Documentation

virtual ContextObj* CVC3::CDOmap::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 59 of file cdmap.h.

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

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 62 of file cdmap.h.

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

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 67 of file cdmap.h.

Referenced by CVC3::CDOmap< Key, Data, HashFcn >::restoreData().

void CVC3::CDOmap::set ( const Data &  data,
int  scope = -1 
) [inline]

Definition at line 102 of file cdmap.h.

Referenced by CVC3::CDMap< Expr, EdgeInfo >::insert().

const Key& CVC3::CDOmap::getKey ( ) const [inline]

Definition at line 105 of file cdmap.h.

Referenced by CVC3::CDMap::orderedIterator::operator*().

const Data& CVC3::CDOmap::get ( ) const [inline]
CVC3::CDOmap::operator Data ( ) [inline]

Definition at line 107 of file cdmap.h.

CDOmap<Key, Data, HashFcn>& CVC3::CDOmap::operator= ( const Data &  data) [inline]

Definition at line 108 of file cdmap.h.

CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::next ( ) const [inline]

Definition at line 109 of file cdmap.h.

Referenced by CVC3::CDMap::orderedIterator::operator++().


Member Data Documentation

Key CVC3::CDOmap::d_key [private]
Data CVC3::CDOmap::d_data [private]
bool CVC3::CDOmap::d_inMap [private]
CDMap<Key, Data, HashFcn>* CVC3::CDOmap::d_cdmap [private]
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::d_prev [private]
CDOmap<Key, Data, HashFcn>* CVC3::CDOmap::d_next [private]

The documentation for this class was generated from the following file: