CBMC
natural_loops_templatet< P, T > Member List

This is the complete list of members for natural_loops_templatet< P, T >, including all inherited members.

cfg_dominatorsnatural_loops_templatet< P, T >protected
compute(P &program)natural_loops_templatet< P, T >protected
compute_natural_loop(T, T)natural_loops_templatet< P, T >protected
get_dominator_info() constnatural_loops_templatet< P, T >inline
is_loop_header(const T instruction) constloop_analysist< T >inline
loop_analysist()=defaultloop_analysist< T >
loop_maploop_analysist< T >
loop_mapt typedefloop_analysist< T >
loopt typedefloop_analysist< T >
natural_loops_templatet()natural_loops_templatet< P, T >inline
natural_loops_templatet(P &program)natural_loops_templatet< P, T >inlineexplicit
natural_loopt typedefnatural_loops_templatet< P, T >
nodet typedefnatural_loops_templatet< P, T >protected
operator()(P &program)natural_loops_templatet< P, T >inline
output(std::ostream &) constloop_analysist< T >virtual
parentt typedefnatural_loops_templatet< P, T >private