CBMC
|
This is the complete list of members for natural_loops_templatet< P, T, C >, including all inherited members.
cfg_dominators | natural_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() const | natural_loops_templatet< P, T, C > | inline |
is_loop_header(const T instruction) const | loop_analysist< T, C > | inline |
loop_analysist()=default | loop_analysist< T, C > | |
loop_map | loop_analysist< T, C > | |
loop_mapt typedef | loop_analysist< T, C > | |
loopt typedef | loop_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 typedef | natural_loops_templatet< P, T, C > | |
nodet typedef | natural_loops_templatet< P, T, C > | protected |
operator()(P &program) | natural_loops_templatet< P, T, C > | inline |
output(std::ostream &) const | loop_analysist< T, C > | virtual |
parentt typedef | natural_loops_templatet< P, T, C > | private |