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 <goto-programs/goto_model.h>

+ Include dependency graph for loop_analysis.h:

+ This graph shows which files directly or indirectly include this file:

Classes

A loop, specified as a set of instructions. More...

Functions

void show_loops (const goto_modelt &goto_model, std::ostream &out)

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.

void show_loops ( const goto_modelt & goto_model,

std::ostream & out

)

Definition at line 200 of file loop_analysis.h.