CBMC
natural_loops_templatet< P, T, C > Member List

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

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