Searched defs:coverage_size (Results 1 – 2 of 2) sorted by relevance
66 unsigned coverage_size = c.graph.vertices_[coverage_id].table_size (); in clone_coverage() local
57 const unsigned coverage_size = c.graph.vertices_[coverage_id].table_size (); in split_subtables() local133 unsigned coverage_size = coverage.vertex->table_size (); in shrink() local232 unsigned coverage_size = 4; in split_subtables() local