goto_inline.h File Reference

#include <goto-programs/goto_functions.h>
#include <unordered_set>
#include <util/irep/std_types.h>

Include dependency graph for goto_inline.h:

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

Go to the source code of this file.

Classes
class	goto_inlinet

Functions
void	goto_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns, goto_programt &dest)
void	goto_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns)
void	goto_partial_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns, unsigned _smallfunc_limit=0)

Function Documentation

goto_inline() [1/2]

void goto_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns )

goto_inline() [2/2]

void goto_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns,
		goto_programt &	dest )

goto_partial_inline()

void goto_partial_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns,
		unsigned	_smallfunc_limit = 0 )