cprover
Loading...
Searching...
No Matches
const_unique_depth_iteratort Member List

This is the complete list of members for const_unique_depth_iteratort, including all inherited members.

const_unique_depth_iteratort(const exprt &expr)const_unique_depth_iteratortinlineexplicit
const_unique_depth_iteratort()=defaultconst_unique_depth_iteratort
depth_iterator_basetconst_unique_depth_iteratortprivate
difference_type typedefdepth_iterator_baset< const_unique_depth_iteratort >
downcast()depth_iterator_baset< const_unique_depth_iteratort >inlineprivate
get_root()depth_iterator_baset< const_unique_depth_iteratort >inlineprotected
iterator_category typedefdepth_iterator_baset< const_unique_depth_iteratort >
m_stackdepth_iterator_baset< const_unique_depth_iteratort >private
m_traversedconst_unique_depth_iteratortprivate
mutate()depth_iterator_baset< const_unique_depth_iteratort >inlineprotected
next_sibling_or_parent()depth_iterator_baset< const_unique_depth_iteratort >inline
operator!=(const depth_iterator_baset< other_depth_iterator_t > &other) constdepth_iterator_baset< const_unique_depth_iteratort >inline
operator*() constdepth_iterator_baset< const_unique_depth_iteratort >inline
operator++()depth_iterator_baset< const_unique_depth_iteratort >inline
operator->() constdepth_iterator_baset< const_unique_depth_iteratort >inline
operator=(const depth_iterator_baset &)=defaultdepth_iterator_baset< const_unique_depth_iteratort >protected
operator==(const depth_iterator_baset< other_depth_iterator_t > &other) constdepth_iterator_baset< const_unique_depth_iteratort >inline
pointer typedefdepth_iterator_baset< const_unique_depth_iteratort >
push_expr(const exprt &expr)const_unique_depth_iteratortinlineprivate
reference typedefdepth_iterator_baset< const_unique_depth_iteratort >
value_type typedefdepth_iterator_baset< const_unique_depth_iteratort >
~depth_iterator_baset()=defaultdepth_iterator_baset< const_unique_depth_iteratort >protected