Am 16.01.20 um 02:13 schrieb Gerion Entrup: > Hi, > > I have seen the algorithm for the dominator tree in graph_tool. > Is there an algorithm present that calculates the postdominator tree [1] as > well?
Yes, just reverse the graph and obtain the dominator tree. -- Tiago de Paula Peixoto <[email protected]> _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
