Is there a way to efficiently return multiple specific vertices? I'm
looking for something between graph.vertex(i) and graph.vertices() in which
I can pass multiple vertex indices and return the corresponding vertex
object. Something like:
graph.vertices([i,j,...])
Ultimately, these would be needed to pull out the corresponding values from
a PropertyMap on the vertices, so if there's an efficient way to do it that
I'm not thinking of I'd love to hear ideas.
Thanks!
_______________________________________________
graph-tool mailing list
[email protected]
https://lists.skewed.de/mailman/listinfo/graph-tool
