Refactor|Partitioner: Moved vertex line owner counts to Vertex; dumped VertexInfo
The partitioner now manages the EdgeTips sets for each vertex.Plus further cleanup.
View differences
Refactor|Partitioner: Moved vertex line owner counts to Vertex; dumped VertexInfo
The partitioner now manages the EdgeTips sets for each vertex.
Plus further cleanup.