Package net.sf.tweety.logics.fol.test
Class SPASSTest
- java.lang.Object
-
- net.sf.tweety.logics.fol.test.SPASSTest
-
public class SPASSTest extends java.lang.Object
JUnitTest to test SPASS (test cases fromTPTPTest
)- Author:
- Nils Geilen, Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description (package private) SPASSWriter
printer
(package private) static FolReasoner
spass
-
Constructor Summary
Constructors Constructor Description SPASSTest()
-
-
-
Field Detail
-
spass
static FolReasoner spass
-
printer
SPASSWriter printer
-
-