hylolib-1.3.3: Tools for hybrid logics related programs

HyLo.InputFile

Documentation

type InputFile = [Formula NomSymbol PropSymbol RelSymbol]Source

parse :: String -> InputFile Source

myparse :: String -> ParseOutput Source

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

parseOldFormat :: String -> OldInputFile Source

type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol]Source