skip_loops.h File Reference

Skip over selected loops by adding gotos. More...

#include <string>

Include dependency graph for skip_loops.h:

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

Go to the source code of this file.

Functions
bool	skip_loops (goto_modelt &, const std::string &loop_ids, message_handlert &)

Detailed Description

Skip over selected loops by adding gotos.

Definition in file skip_loops.h.

Function Documentation

skip_loops()

bool skip_loops	(	goto_modelt &	goto_model,
		const std::string &	loop_ids,
		message_handlert &	message_handler
	)

Definition at line 93 of file skip_loops.cpp.