Package org.tweetyproject.logics.fol.writer

Class StandardFolWriter

java.lang.Object

org.tweetyproject.logics.fol.writer.StandardFolWriter

All Implemented Interfaces:

FolWriter

public class StandardFolWriter
extends Object
implements FolWriter

Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
StandardFolWriter()	Creates new writer
StandardFolWriter(Writer writer)	Creates new writer

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

StandardFolWriter

public StandardFolWriter(Writer writer)

Creates new writer

Parameters:

writer - output is redirected to this writer

StandardFolWriter

public StandardFolWriter()

Creates new writer

Method Details

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 - if an IO issue occurs.

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 the other side of the equation

Throws:

IOException - if an IO issue occurs.

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 - if an IO issue occurs.

close

public void close()
           throws IOException

Description copied from interface: FolWriter

Closes the Writer.

Specified by:

close in interface FolWriter

Throws:

IOException - if an IO issue occurs.