SPASSWriter

java.lang.Object
- net.sf.tweety.logics.fol.writer.SPASSWriter

```
public class SPASSWriter
extends java.lang.Object
```
This class prints single first-order logic formulas and knowledge bases to the SPASS format.
A SPASS input file consists of the following parts:
- Description: Contains meta-information about the problem, i.e. name, author, satisfiability
- Symbols: Signature declaration
- Axioms: a list of formulas
- Conjectures: a list of formulas
SPASS attempts to prove that the conjunction of all axioms implies the disjunction of all conjectures.
Author:

Anna Gessler

See Also:

SpassFolReasoner

Constructor Summary

Constructors
Constructor Description

SPASSWriter()
Creates a new SPASSWriter.

SPASSWriter(java.io.Writer writer)
Creates a new SPASSWriter.

Method Summary

Modifier and Type	Method	Description
`void`	`close()`
`void`	`printProblem(FolBeliefSet kb, RelationalFormula formula)`	Prints the contents of a SPASS problem file for a given knowledge base and a formula.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SPASSWriter
```
public SPASSWriter(java.io.Writer writer)
```
    Creates a new SPASSWriter.
    
    Parameters:
    
    writer - Output is redirected to this writer.
  - SPASSWriter
```
public SPASSWriter()
```
    Creates a new SPASSWriter.
- Method Detail
  - printProblem
```
public void printProblem(FolBeliefSet kb,
                         RelationalFormula formula)
                  throws ParserException,
                         java.io.IOException
```
    Prints the contents of a SPASS problem file for a given knowledge base and a formula.
    
    Parameters:
    
    kb - a knowledge base
    
    formula - a relational formula
    
    Throws:
    
    ParserException - if parsing fails
    
    java.io.IOException - if an IO issue occurs
  - close
```
public void close()
           throws java.io.IOException
```
    Throws:
    
    java.io.IOException