public void clearFilter() {
		vertices.clear();
		edges.clear();

		restoreAllVertices();
		restoreAllEdges();
	}
Restores the given filtered edges 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