Hets - the Heterogeneous Tool Set

Copyright(c) Rene Wagner Rainer Grabbe Uni Bremen 2005-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityunknown
Safe HaskellNone

SoftFOL.PrintTPTP

Contents

Description

Pretty printing for SoftFOL signatures in TPTP syntax. Refer to http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html for the TPTP syntax documentation.

Synopsis

Documentation

class PrintTPTP a where Source #

This type class allows pretty printing in TPTP syntax of instantiated data types

Minimal complete definition

printTPTP

Methods

printTPTP :: a -> Doc Source #

Instances

PrintTPTP SPSettingBody Source # 
PrintTPTP SPSetting Source # 
PrintTPTP SPLogState Source #

Creates a Doc from an SPLogState.

PrintTPTP SPDescription Source #

Creates a Doc from a SoftFOL description.

PrintTPTP SPSymbol Source #

Creates a Doc from a SoftFOL Symbol.

PrintTPTP SPQuantSym Source #

Creates a Doc from a SoftFOL Quantifier Symbol.

PrintTPTP SPTerm Source #

Creates a Doc from a SoftFOL Term.

Methods

printTPTP :: SPTerm -> Doc Source #

PrintTPTP SPOriginType Source #

Creates a Doc from a SoftFOL Origin Type.

PrintTPTP SPFormulaList Source #

Creates a Doc from a SoftFOL Formula List.

PrintTPTP SPDeclaration Source #

Creates a Doc from a SoftFOL Declaration. A subsort declaration will be rewritten as a special SPQuantTerm.

PrintTPTP SPLogicalPart Source #

Creates a Doc from a SoftFOL Logical Part.

PrintTPTP SPProblem Source #

Creates a Doc from a SoftFOL Problem.

PrintTPTP Sign Source # 

Methods

printTPTP :: Sign -> Doc Source #

separator :: String Source #

Helper function. Generates a separating comment line.

printFormula :: SPOriginType -> SPFormula -> Doc Source #

Creates a Doc from a SoftFOL Formula. Needed since SPFormula is just a 'type SPFormula = Named SPTerm' and thus instanciating PrintTPTP is not possible.

printTermList :: SPSymbol -> [SPTerm] -> Doc Source #

Creates a Doc from a list of SoftFOL Terms connected by a SoftFOL Symbol.

printCommaSeparated :: [SPTerm] -> Doc Source #

Helper function. Generates a comma separated list of SoftFOL Terms as a Doc.

spCommentText :: String -> String -> Doc Source #

Helper function. Creates a formatted comment output for a description field. On left side will be displayed the field's name, on right side its content.

Orphan instances