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 
17 
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 }
std::list< path_nodet > patht
Definition: path.h:45
TO_BE_DOCUMENTED.
Definition: namespace.h:62
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
Loop Acceleration.
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
Definition: path.cpp:18
std::ostream & output_instruction(const class namespacet &ns, const irep_idt &identifier, std::ostream &out, instructionst::const_iterator it) const
See below.
Concrete Goto Program.