depth_iterator_expr_statet Struct Reference

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)

Public Attributes
std::reference_wrapper< const exprt >	expr
std::size_t	op_idx

Detailed Description

Helper class for depth_iterator_baset.

Definition at line 42 of file expr_iterator.h.

Member Typedef Documentation

operands_iteratort

typedef exprt::operandst::const_iterator depth_iterator_expr_statet::operands_iteratort

Definition at line 44 of file expr_iterator.h.

Constructor & Destructor Documentation

depth_iterator_expr_statet()

depth_iterator_expr_statet::depth_iterator_expr_statet ( const exprt &  expr )

inlineexplicit

Definition at line 45 of file expr_iterator.h.

Member Data Documentation

expr

std::reference_wrapper<const exprt> depth_iterator_expr_statet::expr

Definition at line 48 of file expr_iterator.h.

op_idx

std::size_t depth_iterator_expr_statet::op_idx

Definition at line 49 of file expr_iterator.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/expr_iterator.h