cprover
Loading...
Searching...
No Matches
natural_loopst Class Reference

A concretized version of natural_loops_templatet<const goto_programt, goto_programt::const_targett> More...

#include <natural_loops.h>

Inheritance diagram for natural_loopst:
Collaboration diagram for natural_loopst:

Additional Inherited Members

Public Types inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
typedef parentt::loopt natural_loopt
Public Types inherited from loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
typedef loop_templatet< goto_programt::const_targett, goto_programt::target_less_thanloopt
typedef std::map< goto_programt::const_targett, loopt, goto_programt::target_less_thanloop_mapt
Public Member Functions inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
void operator() (const goto_programt &program)
const cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false > & get_dominator_info () const
 natural_loops_templatet ()
Public Member Functions inherited from loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
virtual void output (std::ostream &) const
 Print all natural loops that were found.
bool is_loop_header (const goto_programt::const_targett instruction) const
 Returns true if instruction is the header of any loop.
 loop_analysist ()=default
Public Attributes inherited from loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
loop_mapt loop_map
Protected Types inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
typedef cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false >::cfgt::nodet nodet
Protected Member Functions inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
void compute (const goto_programt &program)
 Finds all back-edges and computes the natural loops.
void compute_natural_loop (goto_programt::const_targett, goto_programt::const_targett)
 Computes the natural loop for a given back-edge (see Muchnick section 7.4)
Protected Attributes inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false > cfg_dominators

Detailed Description


The documentation for this class was generated from the following file: