CVC3::Expr::iterator Class Reference
[Expression Package]

#include <expr.h>

Inheritance diagram for CVC3::Expr::iterator:

Inheritance graph
[legend]
Collaboration diagram for CVC3::Expr::iterator:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions

Private Attributes

Friends

Classes


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 226 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.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 235 of file expr.h.

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

Default constructor.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 239 of file expr.h.


Member Function Documentation

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

Equality.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 243 of file expr.h.

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

Disequality.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 247 of file expr.h.

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

Dereference operator.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 249 of file expr.h.

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

Dereference and member access.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 251 of file expr.h.

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

Prefix increment.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 253 of file expr.h.

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

Postfix increment.

Returns:
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.

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 272 of file expr.h.


Friends And Related Function Documentation

friend class Expr [friend]

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 229 of file expr.h.


Member Data Documentation

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

Reimplemented from CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >.

Reimplemented in CVC3::Expr::iterator.

Definition at line 231 of file expr.h.

Referenced by CVC3::Expr::iterator< std::input_iterator_tag, Expr, ptrdiff_t >::operator==().


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:14:45 2009 for CVC3 by  doxygen 1.5.2