cprover
|
Compute natural loops in a goto_function. More...
#include <stack>
#include <iosfwd>
#include <set>
#include <goto-programs/goto_model.h>
#include "cfg_dominators.h"
Go to the source code of this file.
Classes | |
class | natural_loops_templatet< P, T > |
class | natural_loopst |
Typedefs | |
typedef natural_loops_templatet< goto_programt, goto_programt::targett > | natural_loops_mutablet |
Functions | |
void | show_natural_loops (const goto_modelt &, std::ostream &out) |
Compute natural loops in a goto_function.
Definition in file natural_loops.h.
Definition at line 70 of file natural_loops.h.
void show_natural_loops | ( | const goto_modelt & | , |
std::ostream & | out | ||
) |
Definition at line 14 of file natural_loops.cpp.
References forall_goto_functions, goto_modelt::goto_functions, and natural_loops_templatet< P, T >::output().
Referenced by goto_instrument_parse_optionst::doit().