Uses of Package
net.sf.tweety.logics.fol.writer

Packages that use net.sf.tweety.logics.fol.writer

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

Classes in net.sf.tweety.logics.fol.writer used by net.sf.tweety.logics.fol.test

Class and Description
FolWriter Prints out single first-order logic formulas and full knowledge bases.
SPASSWriter This class prints single first-order logic formulas and knowledge bases to the SPASS format.

Classes in net.sf.tweety.logics.fol.writer used by net.sf.tweety.logics.fol.writer

Class and Description
FolWriter Prints out single first-order logic formulas and full knowledge bases.