HGraph.Directed.Connectivity.OneWayWellLinkedness

Documentation

edgeWellLinkedPair :: (DirectedGraph t, Adjacency t, Mutable t, Integral a) => t a -> Int -> Maybe (Set a, Set a)

edgeWellLinkedPair' :: (DirectedGraph t, Adjacency t, Mutable t, Integral a, Eq a, Ord a) => t a -> Int -> Guess a -> Maybe (Set a, Set a)

vertexWellLinkedPair :: (Mutable t, DirectedGraph t, Integral a, Adjacency t) => t a -> Int -> Maybe (Set a, Set a)

data Guess a

Constructors

Guess

Fields

• aSet :: Set a
• bSet :: Set a
• numberOfVertices :: Int
• aCandidates :: Set a
• bCandidates :: Set a