CVC3::Expr::Expr::iterator Class Reference
[Expression Package]
#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
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::Expr::iterator::iterator |
( |
std::vector< Expr >::const_iterator |
it |
) |
[inline, private] |
| CVC3::Expr::Expr::iterator::iterator |
( |
|
) |
[inline] |
Default constructor.
Definition at line 239 of file expr.h.
Member Function Documentation
| bool CVC3::Expr::Expr::iterator::operator== |
( |
const iterator & |
i |
) |
const [inline] |
| bool CVC3::Expr::Expr::iterator::operator!= |
( |
const iterator & |
i |
) |
const [inline] |
Disequality.
Definition at line 247 of file expr.h.
| const Expr& CVC3::Expr::Expr::iterator::operator* |
( |
|
) |
const [inline] |
Dereference operator.
Definition at line 249 of file expr.h.
| const Expr* CVC3::Expr::Expr::iterator::operator-> |
( |
|
) |
const [inline] |
| iterator& CVC3::Expr::Expr::iterator::operator++ |
( |
|
) |
[inline] |
Prefix increment.
Definition at line 253 of file expr.h.
| Proxy CVC3::Expr::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
std::vector<Expr>::const_iterator CVC3::Expr::Expr::iterator::d_it [private] |
The documentation for this class was generated from the following file:
