Documentation

dom :: Graph gr => gr a b -> Node -> [(Node, [Node])]Source

return the set of dominators of the nodes of a graph, given a root

iDom :: Graph gr => gr a b -> Node -> [(Node, Node)]Source

return immediate dominators for each node of a graph, given a root