cprover
|
This is the complete list of members for remove_returnst, including all inherited members.
do_function_calls(goto_functionst &goto_functions, goto_programt &goto_program) | remove_returnst | protected |
operator()(goto_functionst &goto_functions) | remove_returnst | |
remove_returnst(symbol_tablet &_symbol_table) | remove_returnst | inlineexplicit |
replace_returns(goto_functionst::function_mapt::iterator f_it) | remove_returnst | protected |
restore(goto_functionst &goto_functions) | remove_returnst | |
restore_returns(goto_functionst::function_mapt::iterator f_it) | remove_returnst | protected |
symbol_table | remove_returnst | protected |
undo_function_calls(goto_functionst &goto_functions, goto_programt &goto_program) | remove_returnst | protected |