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

#include <expr_map.h>

List of all members.

Classes

Public Member Functions

Private Member Functions

Private Attributes

Friends


Constructor & Destructor Documentation

CVC3::ExprHashMap::iterator::iterator ( const typename ExprHashMapType::iterator it) [inline, private]

Definition at line 259 of file expr_map.h.

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

Definition at line 263 of file expr_map.h.


Member Function Documentation

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

Definition at line 265 of file expr_map.h.

References d_it.

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

Definition at line 266 of file expr_map.h.

References d_it.

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

Definition at line 268 of file expr_map.h.

References d_it.

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

Definition at line 269 of file expr_map.h.

References d_it.

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

Definition at line 273 of file expr_map.h.

References d_it.

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

Definition at line 286 of file expr_map.h.


Friends And Related Function Documentation

friend class ExprHashMap [friend]

Definition at line 255 of file expr_map.h.


Member Data Documentation

Definition at line 257 of file expr_map.h.

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


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