Documentation

stronglyConnComp :: Ord key => [(node, key, [key])] -> [SCC node]Source

stronglyConnCompR :: Ord key => [(node, key, [key])] -> [SCC (node, key, [key])]Source

data SCC vertex Source

type Graph = Table [Vertex]Source

type Vertex = IntSource

graphFromEdges :: Ord key => [(node, key, [key])] -> (Graph, Vertex -> (node, key, [key]))Source

buildG :: Bounds -> [Edge] -> GraphSource

transposeG :: Graph -> GraphSource

reverseE :: Graph -> [Edge]Source

outdegree :: Graph -> Table IntSource

indegree :: Graph -> Table IntSource

data Tree a Source

type Forest a = [Tree a]Source

showTree :: Show a => Tree a -> StringSource

showForest :: Show a => Forest a -> StringSource

dfs :: Graph -> [Vertex] -> Forest VertexSource

dff :: Graph -> Forest VertexSource

topSort :: Graph -> [Vertex]Source

components :: Graph -> Forest VertexSource

scc :: Graph -> Forest VertexSource

back :: Graph -> Table Int -> GraphSource

cross :: Graph -> Table Int -> Table Int -> GraphSource

forward :: Graph -> Graph -> Table Int -> GraphSource

reachable :: Graph -> Vertex -> [Vertex]Source

path :: Graph -> Vertex -> Vertex -> BoolSource

bcc :: Graph -> Forest [Vertex]Source