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 java.io.IOException
```
    Prints formatted representation of a query.
    
    Parameters:
    
    query - the formula to be queried
    
    Throws:
    
    java.io.IOException - if an IO issue occurs.
  - printEquivalence
```
void printEquivalence(FolFormula a,
                      FolFormula b)
               throws java.io.IOException
```
    Prints an Equivalence.
    
    Parameters:
    
    a - formula on one side of the equation
    
    b - formula on the other side of the equation
    
    Throws:
    
    java.io.IOException - if an IO issue occurs.
  - printBase
```
void printBase(FolBeliefSet b)
        throws java.io.IOException
```
    Prints formatted representation of a knowledge base.
    
    Parameters:
    
    b - a knowledge base
    
    Throws:
    
    java.io.IOException - if an IO issue occurs.
  - close
```
void close()
    throws java.io.IOException
```
    Closes the Writer.
    
    Throws:
    
    java.io.IOException - if an IO issue occurs.