path.cpp File Reference

Loop Acceleration. More...

#include "path.h"
#include <iostream>
#include <goto-programs/goto_program.h>

Include dependency graph for path.cpp:

Go to the source code of this file.

Functions
void	output_path (const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)

Detailed Description

Loop Acceleration.

Definition in file path.cpp.

Function Documentation

output_path()

void output_path	(	const patht &	path,
		const goto_programt &	program,
		const namespacet &	ns,
		std::ostream &	str
	)

Definition at line 18 of file path.cpp.

References goto_programt::output_instruction().

Referenced by acceleratet::accelerate_loop(), and acceleratet::restrict_traces().