Hierarchy For Package net.sf.tweety.logics.fol.writer

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.logics.fol.writer.Prover9Writer (implements net.sf.tweety.logics.fol.writer.FolWriter)
  • net.sf.tweety.logics.fol.writer.SPASSWriter
  • net.sf.tweety.logics.fol.writer.StandardFolWriter (implements net.sf.tweety.logics.fol.writer.FolWriter)
  • net.sf.tweety.logics.fol.writer.TPTPWriter (implements net.sf.tweety.logics.fol.writer.FolWriter)

Interface Hierarchy

• net.sf.tweety.logics.fol.writer.FolWriter