Hets - the Heterogeneous Tool Set

Copyright(c) Rene Wagner, Klaus Luettich, Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityunknown
Safe HaskellNone

SoftFOL.Conversions

Description

Functions to convert to internal SP* data structures.

Synopsis

Documentation

signToSPLogicalPart :: Sign -> SPLogicalPart

Converts a Sign to an initial (no axioms or goals) SPLogicalPart.

insertSentence :: SPLogicalPart -> Named Sentence -> SPLogicalPart

Inserts a Named Sentence (axiom or goal) into an SPLogicalPart.

genSoftFOLProblem :: String -> SPLogicalPart -> Maybe (Named SPTerm) -> IO SPProblem

Generate a SoftFOL problem with time stamp while maybe adding a goal.

genVarList :: SPIdentifier -> [SPIdentifier] -> [SPIdentifier]

generates a variable for each for each symbol in the input list without symbol overlap

checkArities :: Sign -> Bool

checkArities checks if the signature has only overloaded symbols with the same arity