Data.Graph.Inductive.Query.Dominators
dom :: Graph gr => gr a b -> Node -> [(Node, [Node])] Source #
return the set of dominators of the reachable nodes of a graph, given a root
iDom :: Graph gr => gr a b -> Node -> [(Node, Node)] Source #
return immediate dominators for each reachable node of a graph, given a root