const_depth_iterator_range_adaptert Class Reference

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

#include <expr_iterator.h>

Collaboration diagram for const_depth_iterator_range_adaptert:

Public Member Functions
	const_depth_iterator_range_adaptert (const exprt &_root)
const_depth_iteratort	begin () const
const_depth_iteratort	end () const

Protected Attributes
const exprt &	root

Detailed Description

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

Definition at line 310 of file expr_iterator.h.

Constructor & Destructor Documentation

const_depth_iterator_range_adaptert()

const_depth_iterator_range_adaptert::const_depth_iterator_range_adaptert ( const exprt &  _root )

inlineexplicit

Definition at line 313 of file expr_iterator.h.

Member Function Documentation

begin()

const_depth_iteratort const_depth_iterator_range_adaptert::begin ( ) const

inline

Definition at line 317 of file expr_iterator.h.

end()

const_depth_iteratort const_depth_iterator_range_adaptert::end ( ) const

inline

Definition at line 322 of file expr_iterator.h.

Member Data Documentation

root

const exprt& const_depth_iterator_range_adaptert::root

protected

Definition at line 328 of file expr_iterator.h.

---

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

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