cprover
goto_inlinet Member List

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

adjust_functiongoto_inlinetprotected
bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
cachegoto_inlinetprotected
cachet typedefgoto_inlinetprotected
cachinggoto_inlinetprotected
call_listt typedefgoto_inlinet
callt typedefgoto_inlinet
check_inline_map(const inline_mapt &inline_map) constgoto_inlinetprotected
check_inline_map(const irep_idt identifier, const inline_mapt &inline_map) constgoto_inlinetprotected
clear()goto_inlinetinlineprotected
command(unsigned c)messagetinlinestatic
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
cyanmessagetstatic
debug() constmessagetinline
eommessagetstatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
expand_function_call(goto_programt &dest, const inline_mapt &inline_map, const bool transitive, const bool force_full, goto_programt::targett target)goto_inlinetprotected
faintmessagetstatic
finished_setgoto_inlinetprotected
finished_sett typedefgoto_inlinetprotected
get_call(goto_programt::const_targett target, exprt &lhs, exprt &function, exprt::operandst &arguments)goto_inlinetstatic
get_message_handler()messagetinline
get_mstream(unsigned message_level) constmessagetinline
goto_functionsgoto_inlinetprotected
goto_functiont typedefgoto_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 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_inlinetprotected
goto_inline_transitive(const irep_idt identifier, const goto_functiont &goto_function, const bool force_full)goto_inlinetprotected
goto_inlinet(goto_functionst &goto_functions, const namespacet &ns, message_handlert &message_handler, bool adjust_function, bool caching=true)goto_inlinetinline
greenmessagetstatic
inline_loggoto_inlinetprotected
inline_mapt typedefgoto_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_inlinetprotected
is_ignored(const irep_idt id) constgoto_inlinetprotected
italicmessagetstatic
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
magentamessagetstatic
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetmutableprotected
no_body_setgoto_inlinetprotected
no_body_sett typedefgoto_inlinetprotected
nsgoto_inlinetprotected
operator=(const messaget &other)messagetinline
output_cache(std::ostream &out) constgoto_inlinet
output_inline_log_json()goto_inlinetinline
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_inlinetprotected
parameter_destruction(const goto_programt::targett target, const goto_functiont::parameter_identifierst &parameter_identifiers, goto_programt &dest)goto_inlinetprotected
progress() constmessagetinline
recursion_setgoto_inlinetprotected
recursion_sett typedefgoto_inlinetprotected
redmessagetstatic
replace_return(goto_programt &body, const exprt &lhs)goto_inlinetprotected
resetmessagetstatic
result() constmessagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics() constmessagetinline
status() constmessagetinline
underlinemessagetstatic
warning() constmessagetinline
yellowmessagetstatic
~messaget()messagetvirtual