Class TPTPWriter

java.lang.Object
org.tweetyproject.logics.fol.writer.TPTPWriter
All Implemented Interfaces:
FolWriter

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

    • TPTPWriter

      public TPTPWriter(Writer writer)
      Creates new TPTPWriter
      Parameters:
      writer - output is redirected to this writer
    • TPTPWriter

      public TPTPWriter()
      Creates new TPTPWriter
  • Method Details