cprover
natural_loops.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Dominators
4
5
Author: Georg Weissenbacher, georg@weissenbacher.name
6
7
\*******************************************************************/
8
11
12
#include "
natural_loops.h
"
13
14
void
show_natural_loops
(
15
const
goto_modelt
&goto_model,
16
std::ostream &out)
17
{
18
forall_goto_functions
(it, goto_model.
goto_functions
)
19
{
20
out <<
"*** "
<< it->first <<
'\n'
;
21
22
natural_loopst
natural_loops;
23
natural_loops(it->second.body);
24
natural_loops.
output
(out);
25
26
out <<
'\n'
;
27
}
28
}
goto_modelt
Definition:
goto_model.h:24
natural_loops_templatet::output
void output(std::ostream &) const
Print all natural loops that were found.
Definition:
natural_loops.h:178
show_natural_loops
void show_natural_loops(const goto_modelt &goto_model, std::ostream &out)
Definition:
natural_loops.cpp:14
natural_loopst
A concretized version of natural_loops_templatet<const goto_programt, goto_programt::const_targett>
Definition:
natural_loops.h:87
goto_modelt::goto_functions
goto_functionst goto_functions
GOTO functions.
Definition:
goto_model.h:32
natural_loops.h
forall_goto_functions
#define forall_goto_functions(it, functions)
Definition:
goto_functions.h:149
analyses
natural_loops.cpp
Generated by
1.8.17