goto_program_irep.h File Reference

#include <goto-programs/goto_program.h>

Include dependency graph for goto_program_irep.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	convert (const goto_programt::instructiont &instruction, irept &irep)
void	convert (const irept &irep, goto_programt::instructiont &instruction)
void	convert (const goto_programt &program, irept &irep)
void	convert (const irept &irep, goto_programt &program)

Function Documentation

convert() [1/4]

void convert	(	const goto_programt &	program,
		irept &	irep )

convert() [2/4]

void convert	(	const goto_programt::instructiont &	instruction,
		irept &	irep )

convert() [3/4]

void convert	(	const irept &	irep,
		goto_programt &	program )

convert() [4/4]

void convert	(	const irept &	irep,
		goto_programt::instructiont &	instruction )