| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
HGraph.Directed.PathAnonymity
Synopsis
- pathAnonymity :: (Adjacency t, Ord b, Num b, DirectedGraph t) => t b -> b
- pathAnonymityCertificate :: (Adjacency t, Ord b, Num b, DirectedGraph t) => t b -> ([b], b)
- pathPathAnonymityI :: (Adjacency t, Ord a, Num a) => t a -> [a] -> a
Documentation
pathAnonymity :: (Adjacency t, Ord b, Num b, DirectedGraph t) => t b -> b Source #
pathAnonymityCertificate :: (Adjacency t, Ord b, Num b, DirectedGraph t) => t b -> ([b], b) Source #
Path anonymity of a digraph together with a path witnessing | that the anonymity is at least the returned value.