Interface FolWriter
- All Known Implementing Classes:
Prover9Writer
,StandardFolWriter
,TPTPWriter
public interface FolWriter
Prints out single first-order logic formulas and full knowledge bases.
- Author:
- Nils Geilen
-
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.
-
Method Details
-
printQuery
Prints formatted representation of a query.- Parameters:
query
- the formula to be queried- Throws:
IOException
- if an IO issue occurs.
-
printEquivalence
Prints an Equivalence.- 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
Prints formatted representation of a knowledge base.- Parameters:
b
- a knowledge base- Throws:
IOException
- if an IO issue occurs.
-
close
Closes the Writer.- Throws:
IOException
- if an IO issue occurs.
-