cprover
natural_loopst Class Reference

#include <natural_loops.h>

Inheritance diagram for natural_loopst:
[legend]
Collaboration diagram for natural_loopst:
[legend]

Additional Inherited Members

- Public Types inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett >
typedef std::set< goto_programt::const_targettnatural_loopt
 
typedef std::map< goto_programt::const_targett, natural_looptloop_mapt
 
- Public Member Functions inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett >
void operator() (const goto_programt &program)
 
void output (std::ostream &) const
 Print all natural loops that were found. More...
 
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 Attributes inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett >
loop_mapt loop_map
 
- Protected Types inherited from natural_loops_templatet< const goto_programt, goto_programt::const_targett >
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 >
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 >
cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false > cfg_dominators
 

Detailed Description

Definition at line 63 of file natural_loops.h.


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