[graph-tool] Return multiple specific vertices from graph.vertex()

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!