CBMC
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
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

 
 
 

Protected Attributes

 

Detailed Description

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.

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

Member Function Documentation

◆  begin()

const_depth_iteratort const_depth_iterator_range_adaptert::begin ( ) const
inline

Definition at line 319 of file expr_iterator.h.

◆  end()

const_depth_iteratort const_depth_iterator_range_adaptert::end ( ) const
inline

Definition at line 324 of file expr_iterator.h.

Member Data Documentation

◆  root

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:

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