CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator Class Reference

#include <expr_map.h>

List of all members.

Classes

Public Member Functions

Private Member Functions

Private Attributes

Friends


Detailed Description

template<class Data>
class CVC3::ExprHashMap< Data >::const_iterator

Definition at line 215 of file expr_map.h.


Constructor & Destructor Documentation

template<class Data>
CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::const_iterator ( const typename ExprHashMapType::const_iterator it  )  [inline, private]

Definition at line 220 of file expr_map.h.

template<class Data>
CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::const_iterator (  )  [inline]

Definition at line 224 of file expr_map.h.


Member Function Documentation

template<class Data>
bool CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator== ( const const_iterator i  )  const [inline]

template<class Data>
bool CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator!= ( const const_iterator i  )  const [inline]

template<class Data>
const std::pair<const Expr,Data>& CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator* (  )  const [inline]

template<class Data>
const std::pair<const Expr,Data>* CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator-> (  )  const [inline]

template<class Data>
const_iterator& CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator++ (  )  [inline]

template<class Data>
Proxy CVC3::ExprHashMap< Data >::ExprHashMap::const_iterator::operator++ ( int   )  [inline]

Definition at line 247 of file expr_map.h.


Friends And Related Function Documentation

template<class Data>
friend class ExprHashMap [friend]

Definition at line 216 of file expr_map.h.


Member Data Documentation


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

Generated on Thu Oct 15 22:18:42 2009 for CVC3 by  doxygen 1.5.8