CVC3  2.4.1
Classes | Public Member Functions | Private Member Functions | Private Attributes | Friends
CVC3::ExprMap::const_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::ExprMap::const_iterator::const_iterator ( const typename ExprMapType::const_iterator &  it) [inline, private]

Definition at line 83 of file expr_map.h.

CVC3::ExprMap::const_iterator::const_iterator ( ) [inline]

Definition at line 87 of file expr_map.h.


Member Function Documentation

bool CVC3::ExprMap::const_iterator::operator== ( const const_iterator i) const [inline]

Definition at line 89 of file expr_map.h.

References d_it.

bool CVC3::ExprMap::const_iterator::operator!= ( const const_iterator i) const [inline]

Definition at line 90 of file expr_map.h.

References d_it.

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

Definition at line 92 of file expr_map.h.

References d_it.

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

Definition at line 93 of file expr_map.h.

References d_it.

const_iterator& CVC3::ExprMap::const_iterator::operator++ ( ) [inline]

Definition at line 97 of file expr_map.h.

References d_it.

Proxy CVC3::ExprMap::const_iterator::operator++ ( int  ) [inline]

Definition at line 110 of file expr_map.h.

const_iterator& CVC3::ExprMap::const_iterator::operator-- ( ) [inline]

Definition at line 116 of file expr_map.h.

References d_it.


Friends And Related Function Documentation

friend class ExprMap [friend]

Definition at line 79 of file expr_map.h.


Member Data Documentation

ExprMapType::const_iterator CVC3::ExprMap::const_iterator::d_it [private]

Definition at line 81 of file expr_map.h.

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


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