Interface 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 Details

    • printQuery

      void printQuery(FolFormula query) throws IOException
      Prints formatted representation of a query.
      Parameters:
      query - the formula to be queried
      Throws:
      IOException - if an IO issue occurs.
    • printEquivalence

      void printEquivalence(FolFormula a, FolFormula b) throws IOException
      Prints an Equivalence.
      Parameters:
      a - formula on one side of the equation
      b - formula on the other side of the equation
      Throws:
      IOException - if an IO issue occurs.
    • printBase

      void printBase(FolBeliefSet b) throws IOException
      Prints formatted representation of a knowledge base.
      Parameters:
      b - a knowledge base
      Throws:
      IOException - if an IO issue occurs.
    • close

      void close() throws IOException
      Closes the Writer.
      Throws:
      IOException - if an IO issue occurs.