cprover
remove_virtual_functionst Member List

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

class_hierarchyremove_virtual_functionstprotected
function_call_resolvert typedefremove_virtual_functionstprotected
get_child_functions_rec(const irep_idt &, const symbol_exprt &, const irep_idt &, dispatch_table_entriest &, dispatch_table_entries_mapt &, const function_call_resolvert &) constremove_virtual_functionstprotected
get_functions(const exprt &, dispatch_table_entriest &)remove_virtual_functionst
get_method(const irep_idt &class_id, const irep_idt &component_name) constremove_virtual_functionstprotected
nsremove_virtual_functionstprotected
operator()(goto_functionst &goto_functions)remove_virtual_functionst
remove_virtual_function(goto_programt &goto_program, goto_programt::targett target, const dispatch_table_entriest &functions, virtual_dispatch_fallback_actiont fallback_action)remove_virtual_functionst
remove_virtual_function(goto_programt &goto_program, goto_programt::targett target)remove_virtual_functionstprotected
remove_virtual_functions(goto_programt &goto_program)remove_virtual_functionst
remove_virtual_functionst(const symbol_table_baset &_symbol_table, const class_hierarchyt &_class_hierarchy)remove_virtual_functionst
symbol_tableremove_virtual_functionstprotected