Uses of Interface
net.sf.tweety.logics.fol.writer.FolWriter
-
Packages that use FolWriter Package Description net.sf.tweety.logics.fol.writer -
-
Uses of FolWriter in net.sf.tweety.logics.fol.writer
Classes in net.sf.tweety.logics.fol.writer that implement FolWriter Modifier and Type Class Description class
Prover9Writer
Prints single first-order logic formulas and full knowledge bases to Prover9 format (https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).class
StandardFolWriter
Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.class
TPTPWriter
Prints single first-order logic formulas and full knowledge bases to TPTP format.
-