cprover
Loading...
Searching...
No Matches
const_depth_iteratort Class Referencefinal

#include <expr_iterator.h>

Inheritance diagram for const_depth_iteratort:
Collaboration diagram for const_depth_iteratort:

Public Member Functions

 const_depth_iteratort (const exprt &expr)
 Create iterator starting at the supplied node (root)
 const_depth_iteratort ()=default
 Create an end iterator.
Public Member Functions inherited from depth_iterator_baset< const_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_depth_iteratortoperator++ ()
 Preincrement operator Do not call on the end() iterator.
const_depth_iteratortnext_sibling_or_parent ()
const exprtoperator* () const
 Dereference operator Dereferencing end() iterator is undefined behaviour.
const exprtoperator-> () const
 Dereference operator (member access) Dereferencing end() iterator is undefined behaviour.

Additional Inherited Members

Public Types inherited from depth_iterator_baset< const_depth_iteratort >
typedef void difference_type
typedef exprt value_type
typedef const exprtpointer
typedef const exprtreference
typedef std::forward_iterator_tag iterator_category
Protected Member Functions inherited from depth_iterator_baset< const_depth_iteratort >
 ~depth_iterator_baset ()=default
 Destructor Protected to discourage upcasting.
depth_iterator_basetoperator= (const depth_iterator_baset &)=default
const exprtget_root ()
exprtmutate ()
 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 217 of file expr_iterator.h.

Constructor & Destructor Documentation

◆ const_depth_iteratort() [1/2]

const_depth_iteratort::const_depth_iteratort ( const exprt & expr)
inlineexplicit

Create iterator starting at the supplied node (root)

Definition at line 222 of file expr_iterator.h.

◆ const_depth_iteratort() [2/2]

const_depth_iteratort::const_depth_iteratort ( )
default

Create an end iterator.


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