#include <expr.h>
List of all members.
Classes
- class Proxy
- Postfix increment requires a Proxy object to hold the intermediate value for dereferencing. More...
Public Member Functions
Private Member Functions
- iterator (std::vector< Expr >::const_iterator it)
- Construct an iterator out of the vector's iterator.
Private Attributes
- std::vector< Expr >::const_iterator d_it
Friends
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.
Definition at line 235 of file expr.h.
CVC3::Expr::iterator::iterator |
( |
|
) |
[inline] |
Default constructor.
Definition at line 239 of file expr.h.
Member Function Documentation
bool CVC3::Expr::iterator::operator== |
( |
const iterator & |
i |
) |
const [inline] |
Equality.
Definition at line 243 of file expr.h.
References d_it.
bool CVC3::Expr::iterator::operator!= |
( |
const iterator & |
i |
) |
const [inline] |
Disequality.
Definition at line 247 of file expr.h.
const Expr& CVC3::Expr::iterator::operator* |
( |
|
) |
const [inline] |
Dereference operator.
Definition at line 249 of file expr.h.
const Expr* CVC3::Expr::iterator::operator-> |
( |
|
) |
const [inline] |
iterator& CVC3::Expr::iterator::operator++ |
( |
|
) |
[inline] |
Prefix increment.
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.
Definition at line 272 of file expr.h.
Friends And Related Function Documentation
friend class Expr [friend] |
Member Data Documentation
The documentation for this class was generated from the following file: