Package net.sf.tweety.logics.fol.test
Class TPTPTest
- java.lang.Object
-
- net.sf.tweety.logics.fol.test.TPTPTest
-
public class TPTPTest extends java.lang.Object
JUnitTest to test TPTP printer and EProver implementation- Author:
- Nils Geilen
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static FolReasoner
e
(package private) FolWriter
printer
-
Constructor Summary
Constructors Constructor Description TPTPTest()
-
-
-
Field Detail
-
e
static FolReasoner e
-
printer
FolWriter printer
-
-