CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
depth_iterator_expr_statet Struct Referencefinal

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 44 of file expr_iterator.h.

Member Typedef Documentation

◆  operands_iteratort

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

Definition at line 46 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 47 of file expr_iterator.h.

Member Data Documentation

◆  expr

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

Definition at line 50 of file expr_iterator.h.

◆  op_idx

std::size_t depth_iterator_expr_statet::op_idx

Definition at line 51 of file expr_iterator.h.

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

AltStyle によって変換されたページ (->オリジナル) /