CVC3
2.4.1
|
#include <expr.h>
Classes | |
class | Proxy |
Postfix increment requires a Proxy object to hold the intermediate value for dereferencing. More... | |
Public Member Functions | |
iterator () | |
Default constructor. More... | |
bool | operator== (const iterator &i) const |
Equality. More... | |
bool | operator!= (const iterator &i) const |
Disequality. More... | |
const Expr & | operator* () const |
Dereference operator. More... | |
const Expr * | operator-> () const |
Dereference and member access. More... | |
iterator & | operator++ () |
Prefix increment. More... | |
Proxy | operator++ (int) |
Postfix increment. More... | |
Private Member Functions | |
iterator (std::vector< Expr >::const_iterator it) | |
Construct an iterator out of the vector's iterator. More... | |
Private Attributes | |
std::vector< Expr >::const_iterator | d_it |
Friends | |
class | Expr |
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.
|
inlineprivate |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
Definition at line 234 of file expr.h.
Referenced by operator==().