net.sf.tweety.logics.fol.writer

Class TptpWriter

java.lang.Object

net.sf.tweety.logics.fol.writer.TptpWriter

All Implemented Interfaces:

FolWriter

public class TptpWriter
extends Object
implements FolWriter

Prints single fol formulas and full knowledge bases to TPTP

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor and Description
TptpWriter() creates new Prover9Writer
TptpWriter(Writer writer) creates new Prover9Writer

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TptpWriter

public TptpWriter(Writer writer)

creates new Prover9Writer

Parameters:

writer - output is redirected to this writer

TptpWriter

public TptpWriter()

creates new Prover9Writer

Method Detail

printQuery

public void printQuery(FolFormula query)
                throws IOException

Description copied from interface: FolWriter

Prints formatted representation of a Query.

Specified by:

printQuery in interface FolWriter

Parameters:

query - the formula to be queried

Throws:

IOException

printEquivalence

public void printEquivalence(FolFormula a,
                             FolFormula b)
                      throws IOException

Description copied from interface: FolWriter

Prints an Equivalence

Specified by:

printEquivalence in interface FolWriter

Parameters:

a - formula on one side of the equation

b - formula on one side of the equation

Throws:

IOException

printBase

public void printBase(FolBeliefSet b)
               throws IOException

Description copied from interface: FolWriter

Prints formatted representation of a knowledge base.

Specified by:

printBase in interface FolWriter

Parameters:

b - a knowledge base

Throws:

IOException

close

public void close()
           throws IOException

Description copied from interface: FolWriter

Closes the Writer

Specified by:

close in interface FolWriter

Throws:

IOException

toString

public String toString()

Overrides:

toString in class Object