CVC3
2.4.1
|
#include <cdmap_ordered.h>
CVC3::CDOmapOrdered::CDOmapOrdered | ( | Context * | context, |
CDMapOrdered< Key, Data > * | cdmap, | ||
const Key & | key, | ||
const Data & | data, | ||
int | scope = -1 |
||
) | [inline] |
Definition at line 85 of file cdmap_ordered.h.
CVC3::CDOmapOrdered::~CDOmapOrdered | ( | ) | [inline] |
Definition at line 101 of file cdmap_ordered.h.
virtual ContextObj* CVC3::CDOmapOrdered::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 58 of file cdmap_ordered.h.
virtual void CVC3::CDOmapOrdered::restoreData | ( | ContextObj * | data | ) | [inline, private, virtual] |
Restore the current object from the given data.
Reimplemented from CVC3::ContextObj.
Definition at line 61 of file cdmap_ordered.h.
virtual void CVC3::CDOmapOrdered::setNull | ( | void | ) | [inline, private, virtual] |
Set the current object to be invalid.
Implements CVC3::ContextObj.
Definition at line 66 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::restoreData().
void CVC3::CDOmapOrdered::set | ( | const Data & | data, |
int | scope = -1 |
||
) | [inline] |
Definition at line 102 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::insert().
const Key& CVC3::CDOmapOrdered::getKey | ( | ) | const [inline] |
Definition at line 105 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered::orderedIterator::operator*().
const Data& CVC3::CDOmapOrdered::get | ( | ) | const [inline] |
Definition at line 106 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered::orderedIterator::operator*().
CVC3::CDOmapOrdered::operator Data | ( | ) | [inline] |
Definition at line 107 of file cdmap_ordered.h.
CDOmapOrdered<Key,Data>& CVC3::CDOmapOrdered::operator= | ( | const Data & | data | ) | [inline] |
Definition at line 108 of file cdmap_ordered.h.
CDOmapOrdered<Key,Data>* CVC3::CDOmapOrdered::next | ( | ) | const [inline] |
Definition at line 109 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered::orderedIterator::operator++().
Key CVC3::CDOmapOrdered::d_key [private] |
Definition at line 49 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), and CVC3::CDOmapOrdered< Key, Data >::getKey().
Data CVC3::CDOmapOrdered::d_data [private] |
Definition at line 50 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::restoreData(), CVC3::CDOmapOrdered< Key, Data >::set(), and CVC3::CDOmapOrdered< Key, Data >::get().
bool CVC3::CDOmapOrdered::d_inMap [private] |
Definition at line 51 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::restoreData(), and CVC3::CDOmapOrdered< Key, Data >::set().
CDMapOrdered<Key, Data>* CVC3::CDOmapOrdered::d_cdmap [private] |
Definition at line 52 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), CVC3::CDOmapOrdered< Key, Data >::CDOmapOrdered(), and CVC3::CDOmapOrdered< Key, Data >::next().
CDOmapOrdered<Key,Data>* CVC3::CDOmapOrdered::d_prev [private] |
Definition at line 55 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), and CVC3::CDOmapOrdered< Key, Data >::CDOmapOrdered().
CDOmapOrdered<Key,Data>* CVC3::CDOmapOrdered::d_next [private] |
Definition at line 56 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), CVC3::CDOmapOrdered< Key, Data >::CDOmapOrdered(), and CVC3::CDOmapOrdered< Key, Data >::next().