cprover
Loading...
Searching...
No Matches
loop_analysis.h File Reference

Data structure representing a loop in a GOTO program and an interface shared by all analyses that find program loops. More...

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.