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.