cprover
|
Helper class for depth_iterator_baset. More...
#include <expr_iterator.h>
Public Types | |
typedef exprt::operandst::const_iterator | operands_iteratort |
Public Member Functions | |
depth_iterator_expr_statet (const exprt &expr, operands_iteratort it, operands_iteratort end) | |
Public Attributes | |
std::reference_wrapper< const exprt > | expr |
operands_iteratort | it |
operands_iteratort | end |
Helper class for depth_iterator_baset.
Definition at line 42 of file expr_iterator.h.
typedef exprt::operandst::const_iterator depth_iterator_expr_statet::operands_iteratort |
Definition at line 44 of file expr_iterator.h.
|
inline |
Definition at line 45 of file expr_iterator.h.
operands_iteratort depth_iterator_expr_statet::end |
Definition at line 52 of file expr_iterator.h.
std::reference_wrapper<const exprt> depth_iterator_expr_statet::expr |
Definition at line 50 of file expr_iterator.h.
operands_iteratort depth_iterator_expr_statet::it |
Definition at line 51 of file expr_iterator.h.