hylolib-1.3.1: Tools for hybrid logics related programs
HyLo.InputFile
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