| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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.comt60-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