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