fgl-5.5.0.1: Martin Erwig's Functional Graph Library
Data.Graph.Inductive.Query.Dominators
Synopsis
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