Digraph
Documentation
data Graph node
Instances
Outputable node => Outputable (Graph node) |
graphFromVerticesAndAdjacency :: Ord key => [(node, key)] -> [(key, key)] -> Graph (node, key)
graphFromEdgedVertices :: Ord key => [(node, key, [key])] -> Graph (node, key, [key])
data SCC vertex
Constructors
AcyclicSCC vertex | |
CyclicSCC [vertex] |
Instances
Functor SCC | |
Outputable a => Outputable (SCC a) |
flattenSCC :: SCC a -> [a]
flattenSCCs :: [SCC a] -> [a]
stronglyConnCompG :: Graph node -> [SCC node]
topologicalSortG :: Graph node -> [node]
hasVertexG :: Graph node -> node -> Bool
reachableG :: Graph node -> node -> [node]
transposeG :: Graph node -> Graph node
outdegreeG :: Graph node -> node -> Maybe Int
vertexGroupsG :: Graph node -> [[node]]
componentsG :: Graph node -> [[node]]
stronglyConnCompFromEdgedVertices :: Ord key => [(node, key, [key])] -> [SCC node]
stronglyConnCompFromEdgedVerticesR :: Ord key => [(node, key, [key])] -> [SCC (node, key, [key])]
components :: IntGraph -> Forest Vertex
undirected :: IntGraph -> IntGraph
bcc :: IntGraph -> Forest [Vertex]