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

add_cond_cov_assert(const expr2tc &top_ptr, const expr2tc &pre_cond, goto_programt &goto_program, goto_programt::instructiont::targett &it)	goto_coveraget	protected
all_claims	goto_coveraget	static
assertion_coverage()	goto_coveraget
branch_coverage()	goto_coveraget
branch_function_coverage()	goto_coveraget
claim_negation	goto_coveraget	static
condition_coverage()	goto_coveraget
cov_assume_asserts	goto_coveraget
filename	goto_coveraget	protected
filter(const irep_idt &func_name, const goto_programt &goto_program) const	goto_coveraget
gen_and_expr(const expr2tc &lhs, const expr2tc &rhs)	goto_coveraget
gen_cond_cov_assert(const expr2tc &top_ptr, const expr2tc &pre_cond, goto_programt &goto_program, goto_programt::instructiont::targett &it)	goto_coveraget	protected
gen_not_eq_expr(const expr2tc &lhs, const expr2tc &rhs)	goto_coveraget
gen_not_expr(const expr2tc &expr) const	goto_coveraget
get_filename_from_path(std::string path)	goto_coveraget
get_total_assert_instance() const	goto_coveraget
get_total_cond_assert() const	goto_coveraget
get_total_instrument() const	goto_coveraget
goto_coveraget(const namespacet &ns, goto_functionst &goto_functions)	goto_coveraget	inlineexplicit
goto_coveraget(const namespacet &ns, goto_functionst &goto_functions, const std::string filename)	goto_coveraget	inlineexplicit
goto_functions	goto_coveraget	protected
handle_operands_guard(const expr2tc &expr, goto_programt &goto_program, goto_programt::instructiont::targett &it)	goto_coveraget	protected
handle_single_guard(const expr2tc &expr, bool top_level)	goto_coveraget	protected
insert_assert(goto_programt &goto_program, goto_programt::targett &it, const expr2tc &guard)	goto_coveraget
insert_assert(goto_programt &goto_program, goto_programt::targett &it, const expr2tc &guard, const std::string &idf)	goto_coveraget
is_target_func(const irep_idt &f, const std::string &tgt_name) const	goto_coveraget
k_path_coverage()	goto_coveraget
k_path_max_goals	goto_coveraget
k_path_n	goto_coveraget
k_path_spanning_redundant	goto_coveraget	static
k_path_witness_depth	goto_coveraget
negating_asserts(const std::string &tgt_fname)	goto_coveraget
ns	goto_coveraget	protected
replace_all_asserts_to_assume()	goto_coveraget
replace_all_asserts_to_guard(const expr2tc &guard, bool is_instrumentation=false)	goto_coveraget
replace_assert_to_assume(goto_programt::instructiont::targett &it)	goto_coveraget
replace_assert_to_guard(const expr2tc &guard, goto_programt::instructiont::targett &it, bool is_instrumentation)	goto_coveraget
set_target(const std::string &_tgt)	goto_coveraget
target_function	goto_coveraget
target_num	goto_coveraget	protected
total_assert	goto_coveraget	static
total_assert_ins	goto_coveraget	static
total_branch	goto_coveraget	static
total_cond	goto_coveraget	static
total_func_branch	goto_coveraget	static
total_kpath	goto_coveraget	static
total_kpath_spanning	goto_coveraget	static