Class SPASSWriter
java.lang.Object
org.tweetyproject.logics.fol.writer.SPASSWriter
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
- Author:
- Anna Gessler
- See Also:
-
Constructor Summary
ConstructorDescriptionCreates a new SPASSWriter.SPASSWriter
(Writer writer) Creates a new SPASSWriter. -
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
void
printProblem
(FolBeliefSet kb, RelationalFormula formula) Prints the contents of a SPASS problem file for a given knowledge base and a formula.
-
Constructor Details
-
SPASSWriter
Creates a new SPASSWriter.- Parameters:
writer
- Output is redirected to this writer.
-
SPASSWriter
public SPASSWriter()Creates a new SPASSWriter.
-
-
Method Details
-
printProblem
public void printProblem(FolBeliefSet kb, RelationalFormula formula) throws ParserException, 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 failsIOException
- if an IO issue occurs
-
close
- Throws:
IOException
- IOException
-