| Safe Haskell | None |
|---|
TPDB.Input
- get :: FilePath -> IO (Either (TRS Identifier Identifier) (SRS Identifier))
- getE :: FilePath -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))
- get_trs :: FilePath -> IO (TRS Identifier Identifier)
- getE_trs :: FilePath -> IO (Either String (TRS Identifier Identifier))
- get_srs :: FilePath -> IO (SRS Identifier)
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
getE :: FilePath -> IO (Either String (Either (TRS Identifier Identifier) (SRS Identifier)))Source
get_trs :: FilePath -> IO (TRS Identifier Identifier)Source
getE_trs :: FilePath -> IO (Either String (TRS Identifier Identifier))Source