Package net.sf.tweety.logics.fol.writer

Interface FolWriter

All Known Implementing Classes:

Prover9Writer, StandardFolWriter, TPTPWriter

public interface FolWriter

Prints out single first-order logic formulas and full knowledge bases.

Author:

Nils Geilen

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.

Method Detail

printQuery

void printQuery(FolFormula query)
         throws IOException

Prints formatted representation of a query.

Parameters:

query - the formula to be queried

Throws:

IOException - if an IO issue occurs.

printEquivalence

void printEquivalence(FolFormula a,
                      FolFormula b)
               throws IOException

Prints an Equivalence.

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

void printBase(FolBeliefSet b)
        throws IOException

Prints formatted representation of a knowledge base.

Parameters:

b - a knowledge base

Throws:

IOException - if an IO issue occurs.

close

void close()
    throws IOException

Closes the Writer.

Throws:

IOException - if an IO issue occurs.