cprover
cover_instrumenter_baset Member List

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

cover_instrumenter_baset(const symbol_tablet &_symbol_table, const goal_filterst &_goal_filters, const irep_idt &_coverage_criterion)cover_instrumenter_basetinline
coverage_criterioncover_instrumenter_baset
goal_filterscover_instrumenter_basetprotected
initialize_source_location(goto_programt::targett t, const std::string &comment, const irep_idt &function) constcover_instrumenter_basetinlineprotected
instrument(goto_programt &, goto_programt::targett &, const cover_blocks_baset &) const =0cover_instrumenter_basetprotectedpure virtual
is_non_cover_assertion(goto_programt::const_targett t) constcover_instrumenter_basetinlineprotected
nscover_instrumenter_basetprotected
operator()(goto_programt &goto_program, const cover_blocks_baset &basic_blocks) constcover_instrumenter_basetinlinevirtual
property_classcover_instrumenter_baset
~cover_instrumenter_baset()=defaultcover_instrumenter_basetvirtual