cprover
|
Dominators. More...
Go to the source code of this file.
Functions | |
void | show_natural_loops (const goto_functionst &goto_functions) |
Dominators.
Definition in file natural_loops.cpp.
void show_natural_loops | ( | const goto_functionst & | goto_functions | ) |
Definition at line 16 of file natural_loops.cpp.
References forall_goto_functions, and natural_loops_templatet< P, T >::output().
Referenced by goto_instrument_parse_optionst::doit().