hDFA-0.0.2: A simple library for representing and minimising DFAs.
Berkeley KISS2 format operations.
We use this to interface with STAMINA.
read :: Bool -> String -> IO DFASource
Read a DFA from Berkeley KISS2 format.
A very sloppy and incomplete parser. Assumes there is a single
writeToFile :: DFA -> FilePath -> IO ()Source
Write DFA to a file with the given FilePath in Berkeley KISS2 format.
Produced by Haddock version 2.10.0