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 java.lang.Object
implements FolWriter

Prints single first-order logic formulas and full knowledge bases to TPTP format.

Author:

Nils Geilen, Anna Gessler

See Also:

EFOLReasoner

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.io.Writer	writer Output is redirected to this writer

Constructor Summary

Constructors

Constructor and Description
TPTPWriter() Creates new TPTPWriter
TPTPWriter(java.io.Writer writer) Creates new TPTPWriter

Method Summary

Modifier and Type	Method and Description
void	close() Closes the Writer.
private <T> java.lang.String	join(java.util.Collection<T> c, java.lang.String delimiter) Joins the elements of c.
private java.lang.String	makeAxiom(java.lang.String name, java.lang.String body) Creates a TPTP axiom out of a given name and formula.
private java.lang.String	parens(java.lang.String str) Puts str in parentheses.
void	printBase(FolBeliefSet b) Prints formatted representation of a knowledge base.
void	printEquivalence(FolFormula a, FolFormula b) Prints an Equivalence.
private java.lang.String	printFormula(RelationalFormula f) Creates a TPTP representation of a formula.
void	printQuery(FolFormula query) Prints formatted representation of a query.
private java.lang.String	printVar(Variable v) Crates a type check or type def for a variable
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

writer

final java.io.Writer writer

Output is redirected to this writer

Constructor Detail

TPTPWriter

public TPTPWriter(java.io.Writer writer)

Creates new TPTPWriter

Parameters:

writer - output is redirected to this writer

TPTPWriter

public TPTPWriter()

Creates new TPTPWriter

Method Detail

printQuery

public void printQuery(FolFormula query)
                throws java.io.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:

java.io.IOException

printEquivalence

public void printEquivalence(FolFormula a,
                             FolFormula b)
                      throws java.io.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 the other side of the equation

Throws:

java.io.IOException

printBase

public void printBase(FolBeliefSet b)
               throws java.io.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:

java.io.IOException

makeAxiom

private java.lang.String makeAxiom(java.lang.String name,
                                   java.lang.String body)

Creates a TPTP axiom out of a given name and formula.

Parameters:

name - the identifying name of the axiom

body - the axiom's formula in TPTP format

Returns:

the axiom as a string

printVar

private java.lang.String printVar(Variable v)

Crates a type check or type def for a variable

Parameters:

v - a variable

Returns:

type(var)

printFormula

private java.lang.String printFormula(RelationalFormula f)

Creates a TPTP representation of a formula.

Parameters:

f - a formula

Returns:

a string that represents the formula in TPTP format

parens

private java.lang.String parens(java.lang.String str)

Puts str in parentheses.

Parameters:

str - a string

Returns:

(str)

join

private <T> java.lang.String join(java.util.Collection<T> c,
                                  java.lang.String delimiter)

Joins the elements of c.

Parameters:

c - a collection

delimiter - will separate elements

Returns:

a string representation of the elements of c separated by the delimiter

close

public void close()
           throws java.io.IOException

Description copied from interface: FolWriter

Closes the Writer.

Specified by:

close in interface FolWriter

Throws:

java.io.IOException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object