goto_program_irep.cpp File Reference

#include <util/message/message.h>
#include <goto-programs/goto_program_irep.h>
#include <util/base/i2string.h>

Include dependency graph for goto_program_irep.cpp:

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 )