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< T, C >
typedef loop_templatet< T, C >	loopt
typedef std::map< T, loopt, C >	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 ()
	natural_loops_templatet (const goto_programt &program)
Public Member Functions inherited from loop_analysist< T, C >
virtual void	output (std::ostream &) const
	Print all natural loops that were found. More...
bool	is_loop_header (const T instruction) const
	Returns true if instruction is the header of any loop. More...
	loop_analysist ()=default
Public Attributes inherited from loop_analysist< T, C >
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. More...
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) More...
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:

• /home/runner/work/cbmc/cbmc/src/analyses/natural_loops.h