| 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.
Synopsis
- 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
Instances
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.