cprover
natural_loopst Member List

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

cfg_dominatorsnatural_loops_templatet< const goto_programt, goto_programt::const_targett >protected
compute(const goto_programt &program)natural_loops_templatet< const goto_programt, goto_programt::const_targett >protected
compute_natural_loop(goto_programt::const_targett, goto_programt::const_targett)natural_loops_templatet< const goto_programt, goto_programt::const_targett >protected
get_dominator_info() constnatural_loops_templatet< const goto_programt, goto_programt::const_targett >inline
loop_mapnatural_loops_templatet< const goto_programt, goto_programt::const_targett >
loop_mapt typedefnatural_loops_templatet< const goto_programt, goto_programt::const_targett >
natural_loops_templatet()natural_loops_templatet< const goto_programt, goto_programt::const_targett >inline
natural_loops_templatet(const goto_programt &program)natural_loops_templatet< const goto_programt, goto_programt::const_targett >inlineexplicit
natural_loopt typedefnatural_loops_templatet< const goto_programt, goto_programt::const_targett >
nodet typedefnatural_loops_templatet< const goto_programt, goto_programt::const_targett >protected
operator()(const goto_programt &program)natural_loops_templatet< const goto_programt, goto_programt::const_targett >inline
output(std::ostream &) constnatural_loops_templatet< const goto_programt, goto_programt::const_targett >