const_post_depth_iterator_range_adaptert Class Reference

An adapter to yield a range of const_post_depth_iteratort. More...

#include <expr_iterator.h>

Collaboration diagram for const_post_depth_iterator_range_adaptert:

Public Member Functions
	const_post_depth_iterator_range_adaptert (const exprt &_root)
const_post_depth_iteratort	begin () const
const_post_depth_iteratort	end () const

Protected Attributes
const exprt &	root

Detailed Description

An adapter to yield a range of const_post_depth_iteratort.

Definition at line 440 of file expr_iterator.h.

Constructor & Destructor Documentation

const_post_depth_iterator_range_adaptert()

const_post_depth_iterator_range_adaptert::const_post_depth_iterator_range_adaptert ( const exprt &  _root )

inlineexplicit

Definition at line 443 of file expr_iterator.h.

Member Function Documentation

begin()

const_post_depth_iteratort const_post_depth_iterator_range_adaptert::begin ( ) const

inline

Definition at line 448 of file expr_iterator.h.

end()

const_post_depth_iteratort const_post_depth_iterator_range_adaptert::end ( ) const

inline

Definition at line 453 of file expr_iterator.h.

Member Data Documentation

root

const exprt& const_post_depth_iterator_range_adaptert::root

protected

Definition at line 459 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