public static <V, E extends GEdge<V>> List<V> postOrder(GDirectedGraph<V, E> g,
			GraphNavigator<V, E> navigator) {

		DepthFirstSorter<V, E> sorter = new DepthFirstSorter<>(g, navigator);
		List<V> list = sorter.getVerticesPostOrder();
		sorter.dispose();
		return list;
	}
Returns the vertices of the given graph in post-order, which is the order the vertices
are last visited when performing a depth-first traversal.

@param g the graph
@param navigator the knower of the direction the graph should be traversed
@return the vertices in post-order
Ghidra/Framework/Graph/src/main/java/ghidra/graph/algo/DepthFirstSorter.java