cprover
Loading...
Searching...
No Matches
path.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Loop Acceleration
4
5Author: Matt Lewis
6
7\*******************************************************************/
8
11
12#include "path.h"
13
15
17 const patht &path,
18 const goto_programt &program,
19 const namespacet &ns,
20 std::ostream &str)
21{
22 for(const auto &step : path)
23 program.output_instruction(ns, "path", str, *step.loc);
24}
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:73
std::ostream & output_instruction(const namespacet &ns, const irep_idt &identifier, std::ostream &out, const instructionst::value_type &instruction) const
Output a single instruction.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:91
Concrete Goto Program.
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
Definition: path.cpp:16
Loop Acceleration.
std::list< path_nodet > patht
Definition: path.h:44