Inheritance diagram for const_unique_depth_iteratort:

Collaboration diagram for const_unique_depth_iteratort:

Public Member Functions
	const_unique_depth_iteratort (const exprt &expr)
	Create iterator starting at the supplied node (root)

	const_unique_depth_iteratort ()=default
	Create an end iterator.

Public Member Functions inherited from depth_iterator_baset< const_unique_depth_iteratort >
bool	operator== (const depth_iterator_baset< other_depth_iterator_t > &other) const

bool	operator!= (const depth_iterator_baset< other_depth_iterator_t > &other) const

const_unique_depth_iteratort &	operator++ ()
	Preincrement operator Do not call on the end() iterator.

const_unique_depth_iteratort	operator++ (int)
	Post-increment operator Expensive copy.

const_unique_depth_iteratort &	next_sibling_or_parent ()

const exprt &	operator* () const
	Dereference operator Dereferencing end() iterator is undefined behaviour.

const exprt *	operator-> () const
	Dereference operator (member access) Dereferencing end() iterator is undefined behaviour.

Private Member Functions
bool	push_expr (const exprt &expr)
	Push expression onto the stack and add to the set of traversed exprts.

Additional Inherited Members
Public Types inherited from depth_iterator_baset< const_unique_depth_iteratort >
typedef void	difference_type

typedef exprt	value_type

typedef const exprt *	pointer

typedef const exprt &	reference

typedef std::forward_iterator_tag	iterator_category

Protected Member Functions inherited from depth_iterator_baset< const_unique_depth_iteratort >
	depth_iterator_baset ()=default
	Create end iterator.

	depth_iterator_baset (const exprt &root)
	Create begin iterator, starting at the supplied node.

	depth_iterator_baset (const depth_iterator_baset &)=default

	depth_iterator_baset (depth_iterator_baset &&other)

	~depth_iterator_baset ()=default
	Destructor Protected to discourage upcasting.

depth_iterator_baset &	operator= (const depth_iterator_baset &)=default

depth_iterator_baset &	operator= (depth_iterator_baset &&other)

const exprt &	get_root ()

exprt &	mutate ()
	Obtain non-const exprt reference.

bool	push_expr (const exprt &expr)
	Pushes expression onto the stack If overridden, this function should be called from the inheriting class by the override function.

Detailed Description

Definition at line 285 of file expr_iterator.h.

Constructor & Destructor Documentation

const_unique_depth_iteratort::const_unique_depth_iteratort ( const exprt & expr )

inlineexplicit

Create iterator starting at the supplied node (root)

Definition at line 291 of file expr_iterator.h.

const_unique_depth_iteratort::const_unique_depth_iteratort ( )

default

Create an end iterator.

bool const_unique_depth_iteratort::push_expr ( const exprt & expr )

inlineprivate

Push expression onto the stack and add to the set of traversed exprts.

Definition at line 298 of file expr_iterator.h.

friend const_unique_depth_iteratort::depth_iterator_baset

private

Definition at line 288 of file expr_iterator.h.

std::set<exprt> const_unique_depth_iteratort::m_traversed

private

Definition at line 305 of file expr_iterator.h.

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