public DirectedGraph copy() {
		DirectedGraph copy = new DirectedGraph(this.numVertices(), this.numEdges());
		copyAll(copy);
		return copy;
	}
@return A directed graph with the same vertices, edges, and attributes.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java