Searched defs:coverage_size (Results 1 – 3 of 3) sorted by relevance
58 const unsigned coverage_size = c.graph.vertices_[coverage_id].table_size (); in split_subtables() local134 unsigned coverage_size = coverage.vertex->table_size (); in shrink() local234 unsigned coverage_size = 4; in split_subtables() local
68 unsigned coverage_size = c.graph.vertices_[coverage_id].table_size (); in clone_coverage() local
191 unsigned coverage_size () const in coverage_size() function