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_than >	loopt
typedef std::map< goto_programt::const_targett, loopt, goto_programt::target_less_than >	loop_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

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

Definition at line 84 of file natural_loops.h.

---

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

• analyses/natural_loops.h