CBMC
depth_iterator_baset< depth_iterator_t > Member List

This is the complete list of members for depth_iterator_baset< depth_iterator_t >, including all inherited members.

depth_iterator_baset classdepth_iterator_baset< depth_iterator_t >friend
depth_iterator_baset()=defaultdepth_iterator_baset< depth_iterator_t >protected
depth_iterator_baset(const exprt &root)depth_iterator_baset< depth_iterator_t >inlineexplicitprotected
depth_iterator_baset(const depth_iterator_baset &)=defaultdepth_iterator_baset< depth_iterator_t >protected
depth_iterator_baset(depth_iterator_baset &&other)depth_iterator_baset< depth_iterator_t >inlineprotected
difference_type typedefdepth_iterator_baset< depth_iterator_t >
downcast()depth_iterator_baset< depth_iterator_t >inlineprivate
get_root()depth_iterator_baset< depth_iterator_t >inlineprotected
iterator_category typedefdepth_iterator_baset< depth_iterator_t >
m_stackdepth_iterator_baset< depth_iterator_t >private
mutate()depth_iterator_baset< depth_iterator_t >inlineprotected
next_sibling_or_parent()depth_iterator_baset< depth_iterator_t >inline
operator!=(const depth_iterator_baset< other_depth_iterator_t > &other) constdepth_iterator_baset< depth_iterator_t >inline
operator*() constdepth_iterator_baset< depth_iterator_t >inline
operator++()depth_iterator_baset< depth_iterator_t >inline
operator++(int)depth_iterator_baset< depth_iterator_t >inline
operator->() constdepth_iterator_baset< depth_iterator_t >inline
operator=(const depth_iterator_baset &)=defaultdepth_iterator_baset< depth_iterator_t >protected
operator=(depth_iterator_baset &&other)depth_iterator_baset< depth_iterator_t >inlineprotected
operator==(const depth_iterator_baset< other_depth_iterator_t > &other) constdepth_iterator_baset< depth_iterator_t >inline
pointer typedefdepth_iterator_baset< depth_iterator_t >
push_expr(const exprt &expr)depth_iterator_baset< depth_iterator_t >inlineprotected
reference typedefdepth_iterator_baset< depth_iterator_t >
value_type typedefdepth_iterator_baset< depth_iterator_t >
~depth_iterator_baset()=defaultdepth_iterator_baset< depth_iterator_t >protected