CBMC
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 std::ostream &str)
19{
20 for(const auto &step : path)
21 step.loc->output(str);
22}
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
Concrete Goto Program.
void output_path(const patht &path, std::ostream &str)
Definition path.cpp:16
Loop Acceleration.
std::list< path_nodet > patht
Definition path.h:44