Searched refs:coverage_prime_vertex (Results 1 – 1 of 1) sorted by relevance
93 auto& coverage_prime_vertex = c.graph.vertices_[coverage_prime_id]; in add_coverage() local101 coverage_prime_vertex.add_parent (parent_id); in add_coverage()103 return (Coverage*) coverage_prime_vertex.obj.head; in add_coverage()