20 out <<
"*** " << it->first <<
'\n';
23 natural_loops(it->second.body);
void output(std::ostream &) const
Print all natural loops that were found.
A concretized version of natural_loops_templatet<const goto_programt, goto_programt::const_targett>
void show_natural_loops(const goto_modelt &goto_model, std::ostream &out)
Compute natural loops in a goto_function.
#define forall_goto_functions(it, functions)
goto_functionst goto_functions
GOTO functions.