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 Source #

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

insertSentence :: SPLogicalPart -> Named Sentence -> SPLogicalPart Source #

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

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

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

genVarList :: SPIdentifier -> [SPIdentifier] -> [SPIdentifier] Source #

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

checkArities :: Sign -> Bool Source #

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