Package net.sf.tweety.logics.fol.writer
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 Type Method Description void
close()
Closes the Writer.void
printBase(FolBeliefSet b)
Prints formatted representation of a knowledge base.void
printEquivalence(FolFormula a, FolFormula b)
Prints an Equivalence.void
printQuery(FolFormula query)
Prints formatted representation of a query.
-
-
-
Method Detail
-
printQuery
void printQuery(FolFormula query) throws java.io.IOException
Prints formatted representation of a query.- Parameters:
query
- the formula to be queried- Throws:
java.io.IOException
- if an IO issue occurs.
-
printEquivalence
void printEquivalence(FolFormula a, FolFormula b) throws java.io.IOException
Prints an Equivalence.- Parameters:
a
- formula on one side of the equationb
- formula on the other side of the equation- Throws:
java.io.IOException
- if an IO issue occurs.
-
printBase
void printBase(FolBeliefSet b) throws java.io.IOException
Prints formatted representation of a knowledge base.- Parameters:
b
- a knowledge base- Throws:
java.io.IOException
- if an IO issue occurs.
-
close
void close() throws java.io.IOException
Closes the Writer.- Throws:
java.io.IOException
- if an IO issue occurs.
-
-