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

branches_covered	coverage_recordt
branches_total	coverage_recordt
compute_coverage_lines(const goto_programt &goto_program, const symex_coveraget::coveraget &coverage, coverage_lines_mapt &dest)	goto_program_coverage_recordt	protected
coverage_lines_mapt typedef	goto_program_coverage_recordt	protected
coverage_recordt(const std::string &node_id)	coverage_recordt	inlineexplicit
file_name	goto_program_coverage_recordt	protected
get_file() const	goto_program_coverage_recordt	inline
goto_program_coverage_recordt(const namespacet &ns, const irep_idt &function_id, const goto_programt &goto_program, const symex_coveraget::coveraget &coverage)	goto_program_coverage_recordt
lines_covered	coverage_recordt
lines_total	coverage_recordt
xml	coverage_recordt