Package net.sf.tweety.logics.fol.writer

Class TPTPWriter

  • All Implemented Interfaces:
    FolWriter
    public class TPTPWriter
extends java.lang.Object
implements FolWriter
    Prints single first-order logic formulas and full knowledge bases to TPTP format.
    Author:
    Nils Geilen, Anna Gessler
    See Also:
    EFOLReasoner

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) java.io.Writer writer
      Output is redirected to this writer

    • Constructor Summary

      Constructors 
      Constructor Description
      TPTPWriter()
      Creates new TPTPWriter
      TPTPWriter​(java.io.Writer writer)
      Creates new TPTPWriter

    • Method Summary

      Modifier and Type Method Description
      void close()
      Closes the Writer.
      private <T> java.lang.String join​(java.util.Collection<T> c, java.lang.String delimiter)
      Joins the elements of c.
      private java.lang.String makeAxiom​(java.lang.String name, java.lang.String body)
      Creates a TPTP axiom out of a given name and formula.
      private java.lang.String parens​(java.lang.String str)
      Puts str in parentheses.
      void printBase​(FolBeliefSet b)
      Prints formatted representation of a knowledge base.
      void printEquivalence​(FolFormula a, FolFormula b)
      Prints an Equivalence.
      private java.lang.String printFormula​(RelationalFormula f)
      Creates a TPTP representation of a formula.
      void printQuery​(FolFormula query)
      Prints formatted representation of a query.
      private java.lang.String printVar​(Variable v)
      Crates a type check or type def for a variable
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • writer

        final java.io.Writer writer
        Output is redirected to this writer

    • Constructor Detail

      • TPTPWriter

        public TPTPWriter​(java.io.Writer writer)
        Creates new TPTPWriter
        Parameters:
        writer - output is redirected to this writer

      • TPTPWriter

        public TPTPWriter()
        Creates new TPTPWriter

    • Method Detail

      • printQuery

        public void printQuery​(FolFormula query)
                throws java.io.IOException
        Description copied from interface: FolWriter
        Prints formatted representation of a query.
        Specified by:
        printQuery in interface FolWriter
        Parameters:
        query - the formula to be queried
        Throws:
        java.io.IOException - if an IO issue occurs.

      • printEquivalence

        public void printEquivalence​(FolFormula a,
                             FolFormula b)
                      throws java.io.IOException
        Description copied from interface: FolWriter
        Prints an Equivalence.
        Specified by:
        printEquivalence in interface FolWriter
        Parameters:
        a - formula on one side of the equation
        b - formula on the other side of the equation
        Throws:
        java.io.IOException - if an IO issue occurs.

      • printBase

        public void printBase​(FolBeliefSet b)
               throws java.io.IOException
        Description copied from interface: FolWriter
        Prints formatted representation of a knowledge base.
        Specified by:
        printBase in interface FolWriter
        Parameters:
        b - a knowledge base
        Throws:
        java.io.IOException - if an IO issue occurs.

      • makeAxiom

        private java.lang.String makeAxiom​(java.lang.String name,
                                   java.lang.String body)
        Creates a TPTP axiom out of a given name and formula.
        Parameters:
        name - the identifying name of the axiom
        body - the axiom's formula in TPTP format
        Returns:
        the axiom as a string

      • printVar

        private java.lang.String printVar​(Variable v)
        Crates a type check or type def for a variable
        Parameters:
        v - a variable
        Returns:
        type(var)

      • printFormula

        private java.lang.String printFormula​(RelationalFormula f)
        Creates a TPTP representation of a formula.
        Parameters:
        f - a formula
        Returns:
        a string that represents the formula in TPTP format

      • parens

        private java.lang.String parens​(java.lang.String str)
        Puts str in parentheses.
        Parameters:
        str - a string
        Returns:
        (str)

      • join

        private <T> java.lang.String join​(java.util.Collection<T> c,
                                  java.lang.String delimiter)
        Joins the elements of c.
        Parameters:
        c - a collection
        delimiter - will separate elements
        Returns:
        a string representation of the elements of c separated by the delimiter

      • close

        public void close()
           throws java.io.IOException
        Description copied from interface: FolWriter
        Closes the Writer.
        Specified by:
        close in interface FolWriter
        Throws:
        java.io.IOException - if an IO issue occurs.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object