hylolib-1.4.0: Tools for hybrid logics related programs

Safe HaskellSafe-Infered

HyLo.InputFile

Documentation

type InputFile = [Formula NomSymbol PropSymbol RelSymbol]Source

parse :: String -> InputFileSource

myparse :: String -> ParseOutputSource

write :: (Show n, Show p, Show r) => [Formula n p r] -> StringSource

parseOldFormat :: String -> OldInputFileSource

type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol]Source