Loading...

Searching...

No Matches

Public Member Functions | List of all members

const_depth_iteratort Class Referencefinal

#include <expr_iterator.h>

+ Inheritance diagram for const_depth_iteratort:

[フレーム]

[legend]

+ Collaboration diagram for const_depth_iteratort:

[フレーム]

[legend]

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 operator++ (int)

Post-increment operator Expensive copy.

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

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 219 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 224 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:

/home/runner/work/cbmc/cbmc/src/util/expr_iterator.h