public GraphIterator<Vertex> vertexIterator() {
		return vertices.iterator();
	}
Returns an iterator for the VertexSet of this graph.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java