Class TPTPWriter
java.lang.Object
org.tweetyproject.logics.fol.writer.TPTPWriter
- All Implemented Interfaces:
FolWriter
Prints single first-order logic formulas and full knowledge bases to TPTP format.
- Author:
- Nils Geilen, Anna Gessler
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
Closes the Writer.void
Prints formatted representation of a knowledge base.void
Prints an Equivalence.void
printQuery
(FolFormula query) Prints formatted representation of a query.toString()
-
Constructor Details
-
TPTPWriter
Creates new TPTPWriter- Parameters:
writer
- output is redirected to this writer
-
TPTPWriter
public TPTPWriter()Creates new TPTPWriter
-
-
Method Details
-
printQuery
Description copied from interface:FolWriter
Prints formatted representation of a query.- Specified by:
printQuery
in interfaceFolWriter
- Parameters:
query
- the formula to be queried- Throws:
IOException
- if an IO issue occurs.
-
printEquivalence
Description copied from interface:FolWriter
Prints an Equivalence.- Specified by:
printEquivalence
in interfaceFolWriter
- Parameters:
a
- formula on one side of the equationb
- formula on the other side of the equation- Throws:
IOException
- if an IO issue occurs.
-
printBase
Description copied from interface:FolWriter
Prints formatted representation of a knowledge base.- Specified by:
printBase
in interfaceFolWriter
- Parameters:
b
- a knowledge base- Throws:
IOException
- if an IO issue occurs.
-
close
Description copied from interface:FolWriter
Closes the Writer.- Specified by:
close
in interfaceFolWriter
- Throws:
IOException
- if an IO issue occurs.
-
toString
-