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

is_opaque_function_call(const goto_programt::const_targett target, const goto_functionst &goto_functions)	remove_calls_no_bodyt	protected
operator()(goto_programt &goto_program, const goto_functionst &goto_functions, message_handlert &)	remove_calls_no_bodyt
operator()(goto_functionst &goto_functions, message_handlert &)	remove_calls_no_bodyt
remove_call_no_body(goto_programt &dest, goto_programt::targett target, const exprt &lhs, const exprt::operandst &arguments)	remove_calls_no_bodyt	protected