natural_loops.cpp File Reference

Dominators. More...

#include "natural_loops.h"

Include dependency graph for natural_loops.cpp:

Go to the source code of this file.

Functions
void	show_natural_loops (const goto_modelt &goto_model, std::ostream &out)

Detailed Description

Dominators.

Definition in file natural_loops.cpp.

Function Documentation

show_natural_loops()

void show_natural_loops	(	const goto_modelt &	goto_model,
		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().