public interface FolWriter
Modifier and Type | Method and 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.
|
void printQuery(FolFormula query) throws java.io.IOException
query
- the formula to be queriedjava.io.IOException
void printEquivalence(FolFormula a, FolFormula b) throws java.io.IOException
a
- formula on one side of the equationb
- formula on one side of the equationjava.io.IOException
void printBase(FolBeliefSet b) throws java.io.IOException
b
- a knowledge basejava.io.IOException
void close() throws java.io.IOException
java.io.IOException