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?
Best, Gerion [1] https://en.wikipedia.org/wiki/Dominator_(graph_theory)#Postdominance
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
