natural_loops.h File Reference

Compute natural loops in a goto_function. More...

#include <stack>
#include <iosfwd>
#include <set>
#include <goto-programs/goto_model.h>
#include "cfg_dominators.h"

Include dependency graph for natural_loops.h:

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

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)

Detailed Description

Compute natural loops in a goto_function.

Definition in file natural_loops.h.

Typedef Documentation

natural_loops_mutablet

typedef natural_loops_templatet<goto_programt, goto_programt::targett> natural_loops_mutablet

Definition at line 70 of file natural_loops.h.

Function Documentation

show_natural_loops()

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().