-
Tiago Peixoto authored
It is not useful to store vertices by index when the vertices are being filtered, since Graph.vertex() does not map to index in this case.
3fea60ff
It is not useful to store vertices by index when the vertices are being filtered, since Graph.vertex() does not map to index in this case.