goto_main.cpp File Reference

#include <goto-programs/goto_convert_class.h>
#include <util/symtab/rename.h>

Include dependency graph for goto_main.cpp:

Functions
void	goto_convert (const codet &code, contextt &context, optionst &options, goto_programt &dest)
void	goto_convert (contextt &context, optionst &options, goto_programt &dest)

Function Documentation

goto_convert() [1/2]

void goto_convert	(	const codet &	code,
		contextt &	context,
		optionst &	options,
		goto_programt &	dest )

goto_convert() [2/2]

void goto_convert	(	contextt &	context,
		optionst &	options,
		goto_programt &	dest )