Loading...

Searching...

No Matches

skip_loops.cpp File Reference

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

#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:

Typedefs

Functions

Skip over selected loops by adding gotos.

Definition in file skip_loops.cpp.

Definition at line 21 of file skip_loops.cpp.

Definition at line 22 of file skip_loops.cpp.

static bool parse_loop_ids ( const std::string & loop_ids,

loop_mapt & loop_map

)

static

Definition at line 65 of file skip_loops.cpp.

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.

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.