goto_inlinet Member List

This is the complete list of members for goto_inlinet, including all inherited members.

adjust_function	goto_inlinet	protected
cache	goto_inlinet	protected
cachet typedef	goto_inlinet	protected
caching	goto_inlinet	protected
call_listt typedef	goto_inlinet
callt typedef	goto_inlinet
check_inline_map(const inline_mapt &inline_map) const	goto_inlinet	protected
check_inline_map(const irep_idt identifier, const inline_mapt &inline_map) const	goto_inlinet	protected
clear()	goto_inlinet	inlineprotected
expand_function_call(goto_programt &dest, const inline_mapt &inline_map, const bool transitive, const bool force_full, goto_programt::targett target)	goto_inlinet	protected
finished_set	goto_inlinet	protected
finished_sett typedef	goto_inlinet	protected
get_call(goto_programt::const_targett target, exprt &lhs, exprt &function, exprt::operandst &arguments)	goto_inlinet	static
goto_functions	goto_inlinet	protected
goto_functiont typedef	goto_inlinet
goto_inline(const irep_idt identifier, goto_functiont &goto_function, const inline_mapt &inline_map, const bool force_full=false)	goto_inlinet
goto_inline(const goto_inlinet::call_listt &call_list, goto_programt &goto_program, const bool force_full=false)	goto_inlinet
goto_inline(const inline_mapt &inline_map, const bool force_full=false)	goto_inlinet
goto_inline_nontransitive(const irep_idt identifier, goto_functiont &goto_function, const inline_mapt &inline_map, const bool force_full)	goto_inlinet	protected
goto_inline_transitive(const irep_idt identifier, const goto_functiont &goto_function, const bool force_full)	goto_inlinet	protected
goto_inlinet(goto_functionst &goto_functions, const namespacet &ns, message_handlert &message_handler, bool adjust_function, bool caching=true)	goto_inlinet	inline
inline_log	goto_inlinet	protected
inline_mapt typedef	goto_inlinet
insert_function_body(const goto_functiont &f, goto_programt &dest, goto_programt::targett target, const exprt &lhs, const symbol_exprt &function, const exprt::operandst &arguments)	goto_inlinet	protected
is_ignored(const irep_idt id) const	goto_inlinet	protected
log	goto_inlinet	protected
no_body_set	goto_inlinet	protected
no_body_sett typedef	goto_inlinet	protected
ns	goto_inlinet	protected
output_cache(std::ostream &out) const	goto_inlinet
output_inline_log_json()	goto_inlinet	inline
output_inline_map(std::ostream &out, const inline_mapt &inline_map)	goto_inlinet
parameter_assignments(const goto_programt::targett target, const irep_idt &function_name, const goto_functiont::parameter_identifierst &parameter_identifiers, const exprt::operandst &arguments, goto_programt &dest)	goto_inlinet	protected
parameter_destruction(const goto_programt::targett target, const goto_functiont::parameter_identifierst &parameter_identifiers, goto_programt &dest)	goto_inlinet	protected
recursion_set	goto_inlinet	protected
recursion_sett typedef	goto_inlinet	protected
replace_return(goto_programt &body, const exprt &lhs)	goto_inlinet	protected