Class 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