cprover
|
#include <expr_iterator.h>
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_iteratort & | operator++ () |
Preincrement operator Do not call on the end() iterator. | |
const_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. |
Additional Inherited Members | |
Public Types inherited from depth_iterator_baset< const_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_depth_iteratort > | |
~depth_iterator_baset ()=default | |
Destructor Protected to discourage upcasting. | |
depth_iterator_baset & | operator= (const depth_iterator_baset &)=default |
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. |
Definition at line 217 of file expr_iterator.h.
|
inlineexplicit |
Create iterator starting at the supplied node (root)
Definition at line 222 of file expr_iterator.h.
|
default |
Create an end iterator.