Data.Graph.Inductive.Query.Dominators

Documentation

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

Finds the dominators relationship for a given graph and an initial node. For each node v, it returns the list of dominators of v.