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

goto_coverage_rm(contextt &_context, optionst &_options, goto_functionst &goto_functions)	goto_coverage_rm	inline
goto_functions	goto_coverage_rm
remove_sideeffect()	goto_coverage_rm