public int getVertexCount() {
		return vertexSet().size();
	}
Returns the total number of vertices in the graph
@return the total number of vertices in the graph
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/AttributedGraph.java