public Set<Vertex> getVertices() {
		return this.vertices().toSet();
	}
returns a java.util.Set containing the vertices in this graph.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java