|
cprover
|
#include <deque>#include <iterator>#include <functional>#include <set>#include <algorithm>#include "expr.h"#include "invariant.h"Go to the source code of this file.
Classes | |
| struct | depth_iterator_expr_statet |
| Helper class for depth_iterator_baset. More... | |
| class | depth_iterator_baset< depth_iterator_t > |
| Depth first search iterator base - iterates over supplied expression and all its operands recursively. More... | |
| class | const_depth_iteratort |
| class | depth_iteratort |
| class | const_unique_depth_iteratort |
Functions | |
| bool | operator== (const depth_iterator_expr_statet &left, const depth_iterator_expr_statet &right) |
|
inline |
Definition at line 54 of file expr_iterator.h.
References depth_iterator_expr_statet::end, depth_iterator_expr_statet::expr, and depth_iterator_expr_statet::it.