Class Prover9Writer

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

public class Prover9Writer extends Object implements FolWriter
Prints single first-order logic formulas and full knowledge bases to Prover9 format (https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).
Author:
Nils Geilen
See Also:
  • Constructor Details

    • Prover9Writer

      public Prover9Writer(Writer writer)
      creates new Prover9Writer
      Parameters:
      writer - output is redirected to this writer
    • Prover9Writer

      public Prover9Writer()
      creates new Prover9Writer
  • Method Details