Class Hierarchy
- java.lang.Object
- org.tweetyproject.logics.fol.writer.Prover9Writer (implements org.tweetyproject.logics.fol.writer.FolWriter)
- org.tweetyproject.logics.fol.writer.SPASSWriter
- org.tweetyproject.logics.fol.writer.StandardFolWriter (implements org.tweetyproject.logics.fol.writer.FolWriter)
- org.tweetyproject.logics.fol.writer.TPTPWriter (implements org.tweetyproject.logics.fol.writer.FolWriter)
Interface Hierarchy
- org.tweetyproject.logics.fol.writer.FolWriter