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