public boolean remove(Vertex v) {
		return this.vertices().remove(v);
	}
Removes the vertex v from the graph. Also removes all edges incident with
v. Does nothing if the vertex is not in the graph.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java