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
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
Yes, just reverse the graph and obtain the dominator tree.