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!