Package net.sf.tweety.logics.ml.writer
Class SPASSWriter
- java.lang.Object
-
- net.sf.tweety.logics.ml.writer.SPASSWriter
-
public class SPASSWriter extends java.lang.Object
This class prints single first-order modal 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
- Author:
- Anna Gessler
- See Also:
SPASSMlReasoner
-
-
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(MlBeliefSet kb, RelationalFormula formula)
Prints the contents of a SPASS problem file for a given knowledge base and a formula.
-
-
-
Method Detail
-
printProblem
public void printProblem(MlBeliefSet 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 baseformula
- a relational formula- Throws:
ParserException
- if parsing failsjava.io.IOException
- if an IO issue occurs.
-
close
public void close() throws java.io.IOException
- Throws:
java.io.IOException
-
-