| Constructor and Description |
|---|
TptpWriter()
creates new Prover9Writer
|
TptpWriter(Writer writer)
creates new Prover9Writer
|
| 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.
|
String |
toString() |
public TptpWriter(Writer writer)
writer - output is redirected to this writerpublic TptpWriter()
public void printQuery(FolFormula query) throws IOException
FolWriterprintQuery in interface FolWriterquery - the formula to be queriedIOExceptionpublic void printEquivalence(FolFormula a, FolFormula b) throws IOException
FolWriterprintEquivalence in interface FolWritera - formula on one side of the equationb - formula on one side of the equationIOExceptionpublic void printBase(FolBeliefSet b) throws IOException
FolWriterprintBase in interface FolWriterb - a knowledge baseIOExceptionpublic void close()
throws IOException
FolWriterclose in interface FolWriterIOExceptionCopyright © 2018. All rights reserved.