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 and Description
class	Prover9Writer Prints single fol formulas and full knowledge bases to Porver9 format (https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/)
class	TptpWriter Prints single fol formulas and full knowledge bases to TPTP