Uses of Interface
net.sf.tweety.logics.fol.writer.FolWriter

Packages that use FolWriter

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

Uses of FolWriter in net.sf.tweety.logics.fol.test

Fields in net.sf.tweety.logics.fol.test declared as FolWriter

Modifier and Type	Field	Description
(package private) FolWriter	Prover9Test.printer
(package private) FolWriter	TPTPTest.printer

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	TPTPWriter	Prints single first-order logic formulas and full knowledge bases to TPTP format.