Searched defs:ext_vertex (Results 1 – 1 of 1) sorted by relevance
276 auto& ext_vertex = c.graph.vertices_[ext_index]; in create_extension_subtable() local310 auto& ext_vertex = c.graph.vertices_[ext_index]; in make_subtable_extension() local