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