skip_loops.cpp File Reference

#include "skip_loops.h"
#include <util/message.h>
#include <util/string2int.h>
#include <goto-programs/goto_model.h>

Include dependency graph for skip_loops.cpp:

Go to the source code of this file.

Typedefs
typedef std::set< unsigned >	loop_idst
typedef std::map< irep_idt, loop_idst >	loop_mapt

Functions
static bool	skip_loops (goto_programt &goto_program, const loop_idst &loop_ids, messaget &message)
static bool	parse_loop_ids (const std::string &loop_ids, loop_mapt &loop_map)
bool	skip_loops (goto_modelt &goto_model, const std::string &loop_ids, message_handlert &message_handler)

Detailed Description

Skip over selected loops by adding gotos

Definition in file skip_loops.cpp.

Typedef Documentation

loop_idst

typedef std::set<unsigned> loop_idst

Definition at line 21 of file skip_loops.cpp.

loop_mapt

typedef std::map<irep_idt, loop_idst> loop_mapt

Definition at line 22 of file skip_loops.cpp.

Function Documentation

parse_loop_ids()

static bool parse_loop_ids ( const std::string &  loop_ids, loop_mapt &  loop_map  )

static

Definition at line 65 of file skip_loops.cpp.

skip_loops() [1/2]

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.

skip_loops() [2/2]

static bool skip_loops ( goto_programt &  goto_program, const loop_idst &  loop_ids, messaget &  message  )

static

Definition at line 24 of file skip_loops.cpp.