CBMC
Loading...
Searching...
No Matches
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 <
goto-programs/goto_program.h
>
15
16
void
output_path
(
17
const
patht
&path,
18
std::ostream &str)
19
{
20
for
(
const
auto
&step : path)
21
step.loc->
output
(str);
22
}
ai_baset::output
virtual void output(const namespacet &ns, const irep_idt &function_id, const goto_programt &goto_program, std::ostream &out) const
Output the abstract states for a single function.
Definition
ai.cpp:39
goto_program.h
Concrete Goto Program.
output_path
void output_path(const patht &path, std::ostream &str)
Definition
path.cpp:16
path.h
Loop Acceleration.
patht
std::list< path_nodet > patht
Definition
path.h:44
src
goto-instrument
accelerate
path.cpp
Generated by
1.9.8