Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

SoftFOL.ATC_SoftFOL

Contents

Description

Orphan instances

ShATermConvertible SPCRBIND Source # 

Methods

toShATermAux :: ATermTable -> SPCRBIND -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPCRBIND] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPCRBIND)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPCRBIND])

ShATermConvertible SPSettingLabel Source # 

Methods

toShATermAux :: ATermTable -> SPSettingLabel -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSettingLabel] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSettingLabel)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSettingLabel])

ShATermConvertible SPHypothesis Source # 

Methods

toShATermAux :: ATermTable -> SPHypothesis -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPHypothesis] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPHypothesis)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPHypothesis])

ShATermConvertible SPSettingBody Source # 

Methods

toShATermAux :: ATermTable -> SPSettingBody -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSettingBody] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSettingBody)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSettingBody])

ShATermConvertible SPSetting Source # 

Methods

toShATermAux :: ATermTable -> SPSetting -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSetting] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSetting)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSetting])

ShATermConvertible SPLogState Source # 

Methods

toShATermAux :: ATermTable -> SPLogState -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPLogState] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLogState)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLogState])

ShATermConvertible SPDescription Source # 

Methods

toShATermAux :: ATermTable -> SPDescription -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPDescription] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPDescription)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPDescription])

ShATermConvertible SPValue Source # 

Methods

toShATermAux :: ATermTable -> SPValue -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPValue] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPValue)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPValue])

ShATermConvertible SPKey Source # 

Methods

toShATermAux :: ATermTable -> SPKey -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPKey] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPKey)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPKey])

ShATermConvertible SPParent Source # 

Methods

toShATermAux :: ATermTable -> SPParent -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPParent] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPParent)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPParent])

ShATermConvertible SPUserRuleAppl Source # 

Methods

toShATermAux :: ATermTable -> SPUserRuleAppl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPUserRuleAppl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPUserRuleAppl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPUserRuleAppl])

ShATermConvertible SPRuleAppl Source # 

Methods

toShATermAux :: ATermTable -> SPRuleAppl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPRuleAppl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPRuleAppl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPRuleAppl])

ShATermConvertible SPResult Source # 

Methods

toShATermAux :: ATermTable -> SPResult -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPResult] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPResult)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPResult])

ShATermConvertible SPReference Source # 

Methods

toShATermAux :: ATermTable -> SPReference -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPReference] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPReference)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPReference])

ShATermConvertible SPProofStep Source # 

Methods

toShATermAux :: ATermTable -> SPProofStep -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPProofStep] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProofStep)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProofStep])

ShATermConvertible SPProofList Source # 

Methods

toShATermAux :: ATermTable -> SPProofList -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPProofList] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProofList)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProofList])

ShATermConvertible SPSymbol Source # 

Methods

toShATermAux :: ATermTable -> SPSymbol -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSymbol] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSymbol)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSymbol])

ShATermConvertible SPQuantSym Source # 

Methods

toShATermAux :: ATermTable -> SPQuantSym -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPQuantSym] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPQuantSym)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPQuantSym])

ShATermConvertible SPLiteral Source # 

Methods

toShATermAux :: ATermTable -> SPLiteral -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPLiteral] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLiteral)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLiteral])

ShATermConvertible TPTP Source # 

Methods

toShATermAux :: ATermTable -> TPTP -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TPTP] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TPTP)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TPTP])

ShATermConvertible Info Source # 

Methods

toShATermAux :: ATermTable -> Info -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Info] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Info)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Info])

ShATermConvertible FormData Source # 

Methods

toShATermAux :: ATermTable -> FormData -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [FormData] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, FormData)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormData])

ShATermConvertible GenData Source # 

Methods

toShATermAux :: ATermTable -> GenData -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenData] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenData)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenData])

ShATermConvertible GenTerm Source # 

Methods

toShATermAux :: ATermTable -> GenTerm -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenTerm] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenTerm)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenTerm])

ShATermConvertible AWord Source # 

Methods

toShATermAux :: ATermTable -> AWord -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AWord] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AWord)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AWord])

ShATermConvertible Source Source # 

Methods

toShATermAux :: ATermTable -> Source -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Source] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Source)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Source])

ShATermConvertible Annos Source # 

Methods

toShATermAux :: ATermTable -> Annos -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Annos] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Annos)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Annos])

ShATermConvertible Name Source # 

Methods

toShATermAux :: ATermTable -> Name -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Name] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Name)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Name])

ShATermConvertible Role Source # 

Methods

toShATermAux :: ATermTable -> Role -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Role] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Role)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Role])

ShATermConvertible FormKind Source # 

Methods

toShATermAux :: ATermTable -> FormKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [FormKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, FormKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormKind])

ShATermConvertible FileName Source # 

Methods

toShATermAux :: ATermTable -> FileName -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [FileName] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, FileName)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [FileName])

ShATermConvertible SPTerm Source # 

Methods

toShATermAux :: ATermTable -> SPTerm -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPTerm] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPTerm)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPTerm])

ShATermConvertible TermWsList Source # 

Methods

toShATermAux :: ATermTable -> TermWsList -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TermWsList] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TermWsList)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TermWsList])

ShATermConvertible NSPClauseBody Source # 

Methods

toShATermAux :: ATermTable -> NSPClauseBody -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [NSPClauseBody] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, NSPClauseBody)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [NSPClauseBody])

ShATermConvertible NSPClause Source # 

Methods

toShATermAux :: ATermTable -> NSPClause -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [NSPClause] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, NSPClause)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [NSPClause])

ShATermConvertible SPClauseType Source # 

Methods

toShATermAux :: ATermTable -> SPClauseType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPClauseType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPClauseType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPClauseType])

ShATermConvertible SPOriginType Source # 

Methods

toShATermAux :: ATermTable -> SPOriginType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPOriginType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPOriginType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPOriginType])

ShATermConvertible SPClauseList Source # 

Methods

toShATermAux :: ATermTable -> SPClauseList -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPClauseList] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPClauseList)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPClauseList])

ShATermConvertible SPFormulaList Source # 

Methods

toShATermAux :: ATermTable -> SPFormulaList -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPFormulaList] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPFormulaList)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPFormulaList])

ShATermConvertible SPDeclaration Source # 

Methods

toShATermAux :: ATermTable -> SPDeclaration -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPDeclaration] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPDeclaration)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPDeclaration])

ShATermConvertible SPSortSym Source # 

Methods

toShATermAux :: ATermTable -> SPSortSym -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSortSym] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSortSym)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSortSym])

ShATermConvertible SPSignSym Source # 

Methods

toShATermAux :: ATermTable -> SPSignSym -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSignSym] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSignSym)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSignSym])

ShATermConvertible SPSymbolList Source # 

Methods

toShATermAux :: ATermTable -> SPSymbolList -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPSymbolList] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPSymbolList)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPSymbolList])

ShATermConvertible SPLogicalPart Source # 

Methods

toShATermAux :: ATermTable -> SPLogicalPart -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPLogicalPart] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPLogicalPart)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPLogicalPart])

ShATermConvertible SPProblem Source # 

Methods

toShATermAux :: ATermTable -> SPProblem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SPProblem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SPProblem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SPProblem])

ShATermConvertible SFSymbType Source # 

Methods

toShATermAux :: ATermTable -> SFSymbType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SFSymbType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SFSymbType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SFSymbType])

ShATermConvertible SFSymbol Source # 

Methods

toShATermAux :: ATermTable -> SFSymbol -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SFSymbol] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SFSymbol)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SFSymbol])

ShATermConvertible Generated Source # 

Methods

toShATermAux :: ATermTable -> Generated -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Generated] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Generated)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Generated])

ShATermConvertible Sign Source # 

Methods

toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])