cprover
|
This is the complete list of members for remove_virtual_functionst, including all inherited members.
class_hierarchy | remove_virtual_functionst | protected |
function_call_resolvert typedef | remove_virtual_functionst | protected |
get_child_functions_rec(const irep_idt &, const symbol_exprt &, const irep_idt &, dispatch_table_entriest &, dispatch_table_entries_mapt &, const function_call_resolvert &) const | remove_virtual_functionst | protected |
get_functions(const exprt &, dispatch_table_entriest &) | remove_virtual_functionst | |
get_method(const irep_idt &class_id, const irep_idt &component_name) const | remove_virtual_functionst | protected |
ns | remove_virtual_functionst | protected |
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_functionst | protected |
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_table | remove_virtual_functionst | protected |