A concretized version of natural_loops_templatet<const goto_programt, goto_programt::const_targett>
More...
#include <natural_loops.h>
|
typedef parentt::loopt | natural_loopt |
typedef loop_templatet< goto_programt::const_targett, goto_programt::target_less_than > | loopt |
typedef std::map< goto_programt::const_targett, loopt, goto_programt::target_less_than > | loop_mapt |
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 () |
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 |
loop_mapt | loop_map |
typedef cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false >::cfgt::nodet | nodet |
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)
|
cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false > | cfg_dominators |
The documentation for this class was generated from the following file: