CVC3
2.4.1
|
#include <cdmap_ordered.h>
CVC3::CDMapOrdered::CDMapOrdered | ( | Context * | context, |
int | scope = -1 |
||
) | [inline] |
Definition at line 160 of file cdmap_ordered.h.
CVC3::CDMapOrdered::~CDMapOrdered | ( | ) | [inline] |
Definition at line 164 of file cdmap_ordered.h.
virtual ContextObj* CVC3::CDMapOrdered::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 138 of file cdmap_ordered.h.
virtual void CVC3::CDMapOrdered::restoreData | ( | ContextObj * | data | ) | [inline, private, virtual] |
Restore the current object from the given data.
Reimplemented from CVC3::ContextObj.
Definition at line 141 of file cdmap_ordered.h.
void CVC3::CDMapOrdered::emptyTrash | ( | ) | [inline, private] |
Definition at line 144 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::setNull(), CVC3::CDMapOrdered< Key, Data >::operator[](), and CVC3::CDMapOrdered< Key, Data >::insert().
virtual void CVC3::CDMapOrdered::setNull | ( | void | ) | [inline, private, virtual] |
Set the current object to be invalid.
Implements CVC3::ContextObj.
Definition at line 151 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::~CDMapOrdered().
size_t CVC3::CDMapOrdered::size | ( | ) | const [inline] |
Definition at line 166 of file cdmap_ordered.h.
size_t CVC3::CDMapOrdered::count | ( | const Key & | k | ) | const [inline] |
Definition at line 167 of file cdmap_ordered.h.
CDOmapOrdered<Key,Data>& CVC3::CDMapOrdered::operator[] | ( | const Key & | k | ) | [inline] |
Definition at line 170 of file cdmap_ordered.h.
void CVC3::CDMapOrdered::insert | ( | const Key & | k, |
const Data & | d, | ||
int | scope = -1 |
||
) | [inline] |
Definition at line 183 of file cdmap_ordered.h.
iterator CVC3::CDMapOrdered::begin | ( | ) | const [inline] |
Definition at line 250 of file cdmap_ordered.h.
iterator CVC3::CDMapOrdered::end | ( | ) | const [inline] |
Definition at line 251 of file cdmap_ordered.h.
orderedIterator CVC3::CDMapOrdered::orderedBegin | ( | ) | const [inline] |
Definition at line 293 of file cdmap_ordered.h.
orderedIterator CVC3::CDMapOrdered::orderedEnd | ( | ) | const [inline] |
Definition at line 294 of file cdmap_ordered.h.
iterator CVC3::CDMapOrdered::find | ( | const Key & | k | ) | const [inline] |
Definition at line 296 of file cdmap_ordered.h.
friend class CDOmapOrdered< Key, Data > [friend] |
Definition at line 129 of file cdmap_ordered.h.
std::map<Key,CDOmapOrdered<Key,Data>*> CVC3::CDMapOrdered::d_map [private] |
Definition at line 131 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), CVC3::CDMapOrdered< Key, Data >::setNull(), CVC3::CDMapOrdered< Key, Data >::size(), CVC3::CDMapOrdered< Key, Data >::count(), CVC3::CDMapOrdered< Key, Data >::operator[](), CVC3::CDMapOrdered< Key, Data >::insert(), CVC3::CDMapOrdered< Key, Data >::begin(), CVC3::CDMapOrdered< Key, Data >::end(), and CVC3::CDMapOrdered< Key, Data >::find().
std::vector<CDOmapOrdered<Key,Data>*> CVC3::CDMapOrdered::d_trash [private] |
Definition at line 133 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), and CVC3::CDMapOrdered< Key, Data >::emptyTrash().
CDOmapOrdered<Key,Data>* CVC3::CDMapOrdered::d_first [private] |
Definition at line 134 of file cdmap_ordered.h.
Referenced by CVC3::CDOmapOrdered< Key, Data >::setNull(), CVC3::CDOmapOrdered< Key, Data >::CDOmapOrdered(), CVC3::CDOmapOrdered< Key, Data >::next(), and CVC3::CDMapOrdered< Key, Data >::orderedBegin().
Context* CVC3::CDMapOrdered::d_context [private] |
Definition at line 135 of file cdmap_ordered.h.
Referenced by CVC3::CDMapOrdered< Key, Data >::operator[](), and CVC3::CDMapOrdered< Key, Data >::insert().