Uses of Interface
org.tweetyproject.logics.fol.writer.FolWriter

Packages that use FolWriter

Package	Description
org.tweetyproject.logics.fol.writer

Uses of FolWriter in org.tweetyproject.logics.fol.writer

Classes in org.tweetyproject.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.