cprover
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) More...
 
 const_depth_iteratort ()=default
 Create an end iterator. More...
 
- 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. More...
 
const_depth_iteratort operator++ (int)
 Post-increment operator Expensive copy. More...
 
const_depth_iteratortnext_sibling_or_parent ()
 
const exprtoperator* () const
 Dereference operator Dereferencing end() iterator is undefined behaviour. More...
 
const exprtoperator-> () const
 Dereference operator (member access) Dereferencing end() iterator is undefined behaviour. More...
 

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
 Create end iterator. More...
 
 depth_iterator_baset (const exprt &root)
 Create begin iterator, starting at the supplied node. More...
 
 depth_iterator_baset (const depth_iterator_baset &)=default
 
 depth_iterator_baset (depth_iterator_baset &&other)
 
 ~depth_iterator_baset ()=default
 Destructor Protected to discourage upcasting. More...
 
depth_iterator_basetoperator= (const depth_iterator_baset &)=default
 
depth_iterator_basetoperator= (depth_iterator_baset &&other)
 
const exprtget_root ()
 
exprtmutate ()
 Obtain non-const exprt reference. More...
 
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. More...
 

Detailed Description

Definition at line 224 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 229 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: