CBMC: 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...

Public Member Functions
	const_depth_iterator_range_adaptert (const exprt &_root)

const_depth_iteratort	begin () const

const_depth_iteratort	end () const

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

(

_root

)

inlineexplicit

◆ begin()

const exprt& const_depth_iterator_range_adaptert::root

protected

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