Uses of Class
net.sf.tweety.logics.fol.writer.SPASSWriter
-
Packages that use SPASSWriter Package Description net.sf.tweety.logics.fol.test -
-
Uses of SPASSWriter in net.sf.tweety.logics.fol.test
Fields in net.sf.tweety.logics.fol.test declared as SPASSWriter Modifier and Type Field Description (package private) SPASSWriter
SPASSTest. printer
-