Uses of Class
net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

Packages that use SPASSModalReasoner

Package	Description
net.sf.tweety.logics.ml

Uses of SPASSModalReasoner in net.sf.tweety.logics.ml

Fields in net.sf.tweety.logics.ml declared as SPASSModalReasoner

Modifier and Type	Field and Description
(package private) static SPASSModalReasoner	SPASSTest.spass