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