CVC3  2.4.1
Classes | Public Member Functions | Private Attributes
CVC3::CDMapOrdered::iterator Class Reference

#include <cdmap_ordered.h>

List of all members.

Classes

Public Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::CDMapOrdered::iterator::iterator ( const typename std::map< Key, CDOmapOrdered< Key, Data > * >::const_iterator &  i) [inline]

Definition at line 204 of file cdmap_ordered.h.

CVC3::CDMapOrdered::iterator::iterator ( const iterator i) [inline]

Definition at line 207 of file cdmap_ordered.h.

CVC3::CDMapOrdered::iterator::iterator ( ) [inline]

Definition at line 209 of file cdmap_ordered.h.


Member Function Documentation

bool CVC3::CDMapOrdered::iterator::operator== ( const iterator i) const [inline]

Definition at line 211 of file cdmap_ordered.h.

References d_it.

bool CVC3::CDMapOrdered::iterator::operator!= ( const iterator i) const [inline]

Definition at line 214 of file cdmap_ordered.h.

References d_it.

std::pair<const Key, Data> CVC3::CDMapOrdered::iterator::operator* ( ) const [inline]

Definition at line 218 of file cdmap_ordered.h.

References d_it.

iterator& CVC3::CDMapOrdered::iterator::operator++ ( ) [inline]

Definition at line 230 of file cdmap_ordered.h.

References d_it.

Proxy CVC3::CDMapOrdered::iterator::operator++ ( int  ) [inline]

Definition at line 243 of file cdmap_ordered.h.


Member Data Documentation

std::map<Key,CDOmapOrdered<Key,Data>*>::const_iterator CVC3::CDMapOrdered::iterator::d_it [private]

Definition at line 201 of file cdmap_ordered.h.

Referenced by operator==(), operator!=(), operator*(), and operator++().


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