|
Language.HaLex.FaAsDiGraph | Portability | portable | Stability | provisional | Maintainer | jas@di.uminho.pt |
|
|
|
Description |
Finite Automata as Directed Graphs in GraphViz.
Code Included in the Lecture Notes on
Language Processing (with a functional flavour).
|
|
Synopsis |
|
ndfa2graphviz :: (Show st, Eq sy, Show sy, Ord st) => Ndfa st sy -> [Char] -> [Char] | | ndfa2graphviz2file :: (Show st, Eq sy, Show sy, Ord st) => Ndfa st sy -> [Char] -> IO () | | dfa2graphviz :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> [Char] | | dfa2graphviz2file :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> IO () | | tographviz :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> [Char] | | tographvizIO :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO () | | dfa2DiGraphWithNoSyncSt :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> [Char] | | dfaDiGraphWithNoSyncStIO :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> FilePath -> IO () | | genOneArrow :: Show a => [Char] -> a -> [Char] -> [Char] |
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
:: (Eq sy, Show sy, Ord st, Show st) | | => Ndfa st sy | Graph's name
| -> [Char] | Node's shape
| -> [Char] | Orientation
| -> [Char] | Show function to print the state ids
| -> st -> [Char] | | -> [Char] | | Print a Ndfa in GraphViz
Print a Ndfa in GraphViz in a file
Print a Dfa in GraphViz
Print a Dfa in GraphViz in a file
Print a Ndfa in GraphViz
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |