net.sf.tweety.logics.fol.writer

Interface FolWriter

All Known Implementing Classes:

Prover9Writer, TptpWriter

public interface FolWriter

Prints out single fol formulas and full knowledge bases

Author:

Nils Geilen

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.

Method Detail

printQuery

void printQuery(FolFormula query)
         throws IOException

Prints formatted representation of a Query.

Parameters:

query - the formula to be queried

Throws:

IOException

printEquivalence

void printEquivalence(FolFormula a,
                      FolFormula b)
               throws IOException

Prints an Equivalence

Parameters:

a - formula on one side of the equation

b - formula on one side of the equation

Throws:

IOException

printBase

void printBase(FolBeliefSet b)
        throws IOException

Prints formatted representation of a knowledge base.

Parameters:

b - a knowledge base

Throws:

IOException

close

void close()
    throws IOException

Closes the Writer

Throws:

IOException