| Copyright | (c) João Saraiva 20012002200320042005 2016 |
|---|---|
| License | LGPL |
| Maintainer | saraiva@di.uminho.pt |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Language.HaLex.FaAsDiGraph
Description
Finite Automata as Directed Graphs in GraphViz. Code Included in the Lecture Notes on Language Processing (with a functional flavour).
- ndfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Ndfa a sy -> [Char] -> [Char]
- ndfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Ndfa a sy -> [Char] -> IO ()
- dfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Dfa a sy -> [Char] -> [Char]
- dfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> IO ()
- tographviz :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> [Char]
- tographviz' :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> (sy -> [Char]) -> Bool -> Bool -> [Char]
- tographvizIO :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO ()
- tographvizIO' :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> (sy -> [Char]) -> Bool -> Bool -> IO ()
- dfa2DiGraphWithNoSyncSt :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> [Char]
- dfaDiGraphWithNoSyncStIO :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> FilePath -> IO ()
- genOneArrow :: String -> String -> String -> String
Documentation
ndfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Ndfa a sy -> [Char] -> [Char] Source #
Print a Ndfa in GraphViz
ndfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Ndfa a sy -> [Char] -> IO () Source #
Print a Ndfa in GraphViz in a file
dfa2graphviz :: (Eq sy, Show a, Show sy, Ord a) => Dfa a sy -> [Char] -> [Char] Source #
Print a Dfa in GraphViz
dfa2graphviz2file :: (Eq sy, Ord a, Show sy, Show a) => Dfa a sy -> [Char] -> IO () Source #
Print a Dfa in GraphViz in a file
Arguments
| :: (Eq sy, Show sy, Ord st, Show st) | |
| => Ndfa st sy | Automaton |
| -> [Char] | Graph's name |
| -> [Char] | Node's shape |
| -> [Char] | Orientation |
| -> (st -> [Char]) | Show function to print the state ids |
| -> [Char] |
Print a Ndfa in GraphViz/dot notation (default function)
Arguments
| :: (Eq sy, Show sy, Ord st, Show st) | |
| => Ndfa st sy | Automaton |
| -> [Char] | Graph's name |
| -> [Char] | Node's shape |
| -> [Char] | Orientation |
| -> (st -> [Char]) | Show function to print the state ids |
| -> (sy -> [Char]) | Show function to print the labels |
| -> Bool | Show dead states? |
| -> Bool | Show sync states? |
| -> [Char] |
Print a Ndfa in GraphViz/dot notation
Arguments
| :: (Eq sy, Show sy, Ord st, Show st) | |
| => Ndfa st sy | Automaton |
| -> [Char] | Graph's name |
| -> [Char] | Node's shape |
| -> [Char] | Orientation |
| -> (st -> [Char]) | Show function to print the state ids |
| -> IO () |
Save a Ndfa in a GraphViz/dot file (default function)
Arguments
| :: (Eq sy, Show sy, Ord st, Show st) | |
| => Ndfa st sy | Automaton |
| -> [Char] | Graph's name |
| -> [Char] | Node's shape |
| -> [Char] | Orientation |
| -> (st -> [Char]) | Show function to print the state ids |
| -> (sy -> [Char]) | Show function to print the labels |
| -> Bool | Show dead states? |
| -> Bool | Show sync states? |
| -> IO () |
Save a Ndfa in a GraphViz/dot file