cprover
|
Remove Instance-of Operators. More...
Go to the source code of this file.
Functions | |
void | remove_instanceof (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
See function above. More... | |
void | remove_instanceof (goto_modelt &model) |
Remove Instance-of Operators.
Definition in file remove_instanceof.h.
void remove_instanceof | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
See function above.
symbol_table
. symbol_table
. Definition at line 218 of file remove_instanceof.cpp.
References remove_instanceoft::lower_instanceof().
Referenced by goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), symex_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and remove_instanceof().
void remove_instanceof | ( | goto_modelt & | model | ) |
Definition at line 226 of file remove_instanceof.cpp.
References goto_modelt::goto_functions, remove_instanceof(), and goto_modelt::symbol_table.