tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Input.File

Synopsis

Documentation

get :: FilePath -> IO (Either (TRS Identifier Identifier) (SRS Identifier)) Source #

read input from file with given name. can have extension .srs, .trs, .xml. unknown extension is considered as .xml, because of http://starexec.forumotion.com/t60-restore-file-extension-for-renamed-benchmarks