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

TPTP.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

Synopsis

transId :: CKType -> Id -> Token
transSenName :: String -> String
checkIdentifier :: CKType -> String -> Bool
data CKType
- = CKSort
- | CKVar
- | CKPred
- | CKOp

Documentation

transId :: CKType -> Id -> Token Source #

transSenName :: String -> String Source #

checkIdentifier :: CKType -> String -> Bool Source #

SPASS Identifiers may contain letters, digits, and underscores only; but for TPTP the allowed starting letters are different for each sort of identifier.

data CKType Source #

Constructors

CKSort
CKVar
CKPred
CKOp