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 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 Description FolWriter Prints out single first-order logic formulas and full knowledge bases.