Public Member Functions

Protected Attributes

An adapter to yield a range (expected to satisfy C++20 std::ranges::range) of const_depth_iteratort.

Definition at line 312 of file expr_iterator.h.

const_depth_iterator_range_adaptert::const_depth_iterator_range_adaptert ( const exprt & _root )

inlineexplicit

Definition at line 315 of file expr_iterator.h.

const_depth_iteratort const_depth_iterator_range_adaptert::begin ( ) const

inline

Definition at line 319 of file expr_iterator.h.

const_depth_iteratort const_depth_iterator_range_adaptert::end ( ) const

inline

Definition at line 324 of file expr_iterator.h.

const exprt& const_depth_iterator_range_adaptert::root

protected

Definition at line 330 of file expr_iterator.h.

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