hDFA-0.0.2: A simple library for representing and minimising DFAs.

Safe HaskellSafe-Infered

Data.DFA.KISS2

Description

Berkeley KISS2 format operations.

We use this to interface with STAMINA.

Synopsis

Documentation

read :: Bool -> String -> IO DFASource

Read a DFA from Berkeley KISS2 format.

A very sloppy and incomplete parser. Assumes there is a single output.

writeToFile :: DFA -> FilePath -> IO ()Source

Write DFA to a file with the given FilePath in Berkeley KISS2 format.