public void unfilterVertices(Collection<V> toUnfilter) {
		maybeRestoreVertices(toUnfilter);
		maybeRestoreRelatedEdges(toUnfilter);
	}
Restores the given filtered vertices into the graph.  This will only happen if both
endpoints are in the graph.

@param toUnfilter the edges to restore
Ghidra/Framework/Graph/src/main/java/ghidra/graph/graphs/FilteringVisualGraph.java