Classes | Public Member Functions | Private Attributes

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

#include <cdmap_ordered.h>

List of all members.

Classes

Public Member Functions

Private Attributes


Detailed Description

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

Definition at line 253 of file cdmap_ordered.h.


Constructor & Destructor Documentation

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

Definition at line 256 of file cdmap_ordered.h.

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

Definition at line 257 of file cdmap_ordered.h.

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

Definition at line 259 of file cdmap_ordered.h.


Member Function Documentation

template<class Key, class Data>
bool CVC3::CDMapOrdered< Key, Data >::orderedIterator::operator== ( const orderedIterator i  )  const [inline]
template<class Key, class Data>
bool CVC3::CDMapOrdered< Key, Data >::orderedIterator::operator!= ( const orderedIterator i  )  const [inline]
template<class Key, class Data>
std::pair<const Key, Data> CVC3::CDMapOrdered< Key, Data >::orderedIterator::operator* (  )  const [inline]
template<class Key, class Data>
orderedIterator& CVC3::CDMapOrdered< Key, Data >::orderedIterator::operator++ (  )  [inline]
template<class Key, class Data>
Proxy CVC3::CDMapOrdered< Key, Data >::orderedIterator::operator++ ( int   )  [inline]

Definition at line 286 of file cdmap_ordered.h.


Member Data Documentation

template<class Key, class Data>
const CDOmapOrdered<Key,Data>* CVC3::CDMapOrdered< Key, Data >::orderedIterator::d_it [private]

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