CVC3  2.4.1
Classes | Public Member Functions | Private Attributes
CVC3::CDMap::orderedIterator Class Reference

#include <cdmap.h>

List of all members.

Classes

Public Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::CDMap::orderedIterator::orderedIterator ( const CDOmap< Key, Data, HashFcn > *  p) [inline]

Definition at line 263 of file cdmap.h.

CVC3::CDMap::orderedIterator::orderedIterator ( const orderedIterator i) [inline]

Definition at line 264 of file cdmap.h.

CVC3::CDMap::orderedIterator::orderedIterator ( ) [inline]

Definition at line 266 of file cdmap.h.


Member Function Documentation

bool CVC3::CDMap::orderedIterator::operator== ( const orderedIterator i) const [inline]

Definition at line 268 of file cdmap.h.

References d_it.

bool CVC3::CDMap::orderedIterator::operator!= ( const orderedIterator i) const [inline]

Definition at line 271 of file cdmap.h.

References d_it.

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

Definition at line 275 of file cdmap.h.

References d_it, CVC3::CDOmap::getKey(), and CVC3::CDOmap::get().

orderedIterator& CVC3::CDMap::orderedIterator::operator++ ( ) [inline]

Definition at line 280 of file cdmap.h.

References d_it, and CVC3::CDOmap::next().

Proxy CVC3::CDMap::orderedIterator::operator++ ( int  ) [inline]

Definition at line 293 of file cdmap.h.


Member Data Documentation

const CDOmap<Key, Data, HashFcn>* CVC3::CDMap::orderedIterator::d_it [private]

Definition at line 261 of file cdmap.h.

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


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