Home Original page

CBMC: depth_iterator_expr_statet Struct Reference

Helper class for depth_iterator_baset. More...

#include <expr_iterator.h>

Helper class for depth_iterator_baset.

Definition at line 44 of file expr_iterator.h.

◆ operands_iteratort

depth_iterator_expr_statet::depth_iterator_expr_statet ( const exprt &  expr)
inlineexplicit

◆ expr

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

◆ op_idx

std::size_t depth_iterator_expr_statet::op_idx

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