Data structure representing a loop in a GOTO program and an interface shared by all analyses that find program loops. More...
#include <goto-programs/goto_model.h>
Include dependency graph for loop_analysis.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | loop_templatet< T, C > |
| A loop, specified as a set of instructions. More... | |
| class | loop_analysist< T, C > |
| class | loop_with_parent_analysis_templatet< T, C > |
| class | linked_loop_analysist< T, C > |
Functions | |
| template<class LoopAnalysis > | |
| void | show_loops (const goto_modelt &goto_model, std::ostream &out) |
Detailed Description
Data structure representing a loop in a GOTO program and an interface shared by all analyses that find program loops.
Definition in file loop_analysis.h.
Function Documentation
◆ show_loops()
template<class LoopAnalysis >
| void show_loops | ( | const goto_modelt & | goto_model, |
| std::ostream & | out | ||
| ) |
Definition at line 200 of file loop_analysis.h.
