CVC3::CDMapOrdered< Key, Data > Class Template Reference

#include <cdmap_ordered.h>

Inheritance diagram for CVC3::CDMapOrdered< Key, Data >:

Inheritance graph
[legend]
Collaboration diagram for CVC3::CDMapOrdered< Key, Data >:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions

Private Attributes

Friends

Classes


Detailed Description

template<class Key, class Data>
class CVC3::CDMapOrdered< Key, Data >

Definition at line 128 of file cdmap_ordered.h.


Constructor & Destructor Documentation

template<class Key, class Data>
CVC3::CDMapOrdered< Key, Data >::CDMapOrdered ( Context context,
int  scope = -1 
) [inline]

Definition at line 160 of file cdmap_ordered.h.

References IF_DEBUG.

template<class Key, class Data>
CVC3::CDMapOrdered< Key, Data >::~CDMapOrdered (  )  [inline]

Definition at line 164 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::setNull().


Member Function Documentation

template<class Key, class Data>
virtual ContextObj* CVC3::CDMapOrdered< Key, Data >::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.

template<class Key, class Data>
virtual void CVC3::CDMapOrdered< Key, Data >::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.

template<class Key, class Data>
void CVC3::CDMapOrdered< Key, Data >::emptyTrash (  )  [inline, private]

Definition at line 144 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_trash.

Referenced by CVC3::CDMapOrdered< Key, Data >::insert(), CVC3::CDMapOrdered< Key, Data >::operator[](), and CVC3::CDMapOrdered< Key, Data >::setNull().

template<class Key, class Data>
virtual void CVC3::CDMapOrdered< Key, Data >::setNull ( void   )  [inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 151 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map, and CVC3::CDMapOrdered< Key, Data >::emptyTrash().

Referenced by CVC3::CDMapOrdered< Key, Data >::~CDMapOrdered().

template<class Key, class Data>
size_t CVC3::CDMapOrdered< Key, Data >::size (  )  const [inline]

Definition at line 166 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map.

template<class Key, class Data>
size_t CVC3::CDMapOrdered< Key, Data >::count ( const Key &  k  )  const [inline]

Definition at line 167 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map.

template<class Key, class Data>
CDOmapOrdered<Key,Data>& CVC3::CDMapOrdered< Key, Data >::operator[] ( const Key &  k  )  [inline]

Definition at line 170 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_context, CVC3::CDMapOrdered< Key, Data >::d_map, and CVC3::CDMapOrdered< Key, Data >::emptyTrash().

template<class Key, class Data>
void CVC3::CDMapOrdered< Key, Data >::insert ( const Key &  k,
const Data &  d,
int  scope = -1 
) [inline]

Definition at line 183 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_context, CVC3::CDMapOrdered< Key, Data >::d_map, and CVC3::CDMapOrdered< Key, Data >::emptyTrash().

template<class Key, class Data>
iterator CVC3::CDMapOrdered< Key, Data >::begin (  )  const [inline]

Definition at line 250 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map.

template<class Key, class Data>
iterator CVC3::CDMapOrdered< Key, Data >::end (  )  const [inline]

Definition at line 251 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map.

template<class Key, class Data>
orderedIterator CVC3::CDMapOrdered< Key, Data >::orderedBegin (  )  const [inline]

Definition at line 293 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_first.

template<class Key, class Data>
orderedIterator CVC3::CDMapOrdered< Key, Data >::orderedEnd (  )  const [inline]

Definition at line 294 of file cdmap_ordered.h.

template<class Key, class Data>
iterator CVC3::CDMapOrdered< Key, Data >::find ( const Key &  k  )  const [inline]

Definition at line 296 of file cdmap_ordered.h.

References CVC3::CDMapOrdered< Key, Data >::d_map.


Friends And Related Function Documentation

template<class Key, class Data>
friend class CDOmapOrdered< Key, Data > [friend]

Definition at line 129 of file cdmap_ordered.h.


Member Data Documentation

template<class Key, class Data>
std::map<Key,CDOmapOrdered<Key,Data>*> CVC3::CDMapOrdered< Key, Data >::d_map [private]

Definition at line 131 of file cdmap_ordered.h.

Referenced by CVC3::CDMapOrdered< Key, Data >::begin(), CVC3::CDMapOrdered< Key, Data >::count(), CVC3::CDMapOrdered< Key, Data >::end(), CVC3::CDMapOrdered< Key, Data >::find(), CVC3::CDMapOrdered< Key, Data >::insert(), CVC3::CDMapOrdered< Key, Data >::operator[](), CVC3::CDMapOrdered< Key, Data >::setNull(), and CVC3::CDMapOrdered< Key, Data >::size().

template<class Key, class Data>
std::vector<CDOmapOrdered<Key,Data>*> CVC3::CDMapOrdered< Key, Data >::d_trash [private]

Definition at line 133 of file cdmap_ordered.h.

Referenced by CVC3::CDMapOrdered< Key, Data >::emptyTrash().

template<class Key, class Data>
CDOmapOrdered<Key,Data>* CVC3::CDMapOrdered< Key, Data >::d_first [private]

Definition at line 134 of file cdmap_ordered.h.

Referenced by CVC3::CDMapOrdered< Key, Data >::orderedBegin().

template<class Key, class Data>
Context* CVC3::CDMapOrdered< Key, Data >::d_context [private]

Definition at line 135 of file cdmap_ordered.h.

Referenced by CVC3::CDMapOrdered< Key, Data >::insert(), and CVC3::CDMapOrdered< Key, Data >::operator[]().


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:14:32 2009 for CVC3 by  doxygen 1.5.2