Copyright | (c) Rene Wagner Rainer Grabbe Uni Bremen 2005-2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | unknown |
Safe Haskell | None |
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.
- class PrintTPTP a where
- separator :: String
- printFormula :: SPOriginType -> SPFormula -> Doc
- printTermList :: SPSymbol -> [SPTerm] -> Doc
- printCommaSeparated :: [SPTerm] -> Doc
- parPrintTPTP :: SPTerm -> Doc
- isUnitary :: SPTerm -> Bool
- binLogOps :: [SPSymbol]
- spCommentText :: String -> String -> Doc
Documentation
class PrintTPTP a where Source #
This type class allows pretty printing in TPTP syntax of instantiated data types
Minimal complete definition
Instances
PrintTPTP SPSettingBody Source # | |
PrintTPTP SPSetting Source # | |
PrintTPTP SPLogState Source # | Creates a Doc from an |
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. |
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 # | |
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.
parPrintTPTP :: SPTerm -> Doc Source #
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.