| Copyright | (c) Klaus Luettich, Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
SoftFOL.Translate
Description
collection of functions used by Comorphisms.SuleCFOL2SoftFOL and SoftFOL.ProveSPASS for the translation of CASL identifiers and axiom labels into valid SoftFOL identifiers
Documentation
transId :: CKType -> Id -> SPIdentifier
transSenName :: String -> String
checkIdentifier :: CKType -> String -> Bool
SPASS Identifiers may contain letters, digits, and underscores only; but for TPTP the allowed starting letters are different for each sort of identifier.