Classes | Public Member Functions | Private Member Functions | Private Attributes | Friends

CVC3::Expr::iterator Class Reference

#include <expr.h>

Collaboration diagram for CVC3::Expr::iterator:
Collaboration graph

List of all members.


Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Class: Expr::iterator Author: Sergey Berezin Created: Fri Dec 6 15:38:51 2002 Description: STL-like iterator API to the Expr's children. IMPORTANT: the iterator will not be valid after the originating expression is destroyed.

Definition at line 229 of file expr.h.

Constructor & Destructor Documentation

CVC3::Expr::iterator::iterator ( std::vector< Expr >::const_iterator  it) [inline, private]

Construct an iterator out of the vector's iterator.

Definition at line 238 of file expr.h.

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

Default constructor.

Definition at line 242 of file expr.h.

Member Function Documentation

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


Definition at line 246 of file expr.h.

References d_it.

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


Definition at line 250 of file expr.h.

const Expr& CVC3::Expr::iterator::operator* ( ) const [inline]

Dereference operator.

Definition at line 252 of file expr.h.

const Expr* CVC3::Expr::iterator::operator-> ( ) const [inline]

Dereference and member access.

Definition at line 254 of file expr.h.

References CVC3::operator*().

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

Prefix increment.

Definition at line 256 of file expr.h.

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

Postfix increment.

Proxy with the old Expr.

Now, an expression like *i++ will return the current *i, and then advance the iterator. However, don't try to use Proxy for anything else.

Definition at line 275 of file expr.h.

Friends And Related Function Documentation

friend class Expr [friend]

Definition at line 232 of file expr.h.

Member Data Documentation

std::vector<Expr>::const_iterator CVC3::Expr::iterator::d_it [private]

Definition at line 234 of file expr.h.

Referenced by operator==().

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