SPASSTest

java.lang.Object
- net.sf.tweety.logics.fol.test.SPASSTest

```
public class SPASSTest
extends java.lang.Object
```
JUnitTest to test SPASS (test cases from TPTPTest)

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()
- Method Summary
  
  Modifier and Type Method Description
  
  static void init()
  
  void test1()
  
  void test2()
  
  void test3()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

spass
```
static FolReasoner spass
```

printer
```
SPASSWriter printer
```

Constructor Detail
- SPASSTest
```
public SPASSTest()
```

Method Detail

init
```
public static void init()
```

test1

public void test1()
           throws java.lang.Exception

Throws:: java.lang.Exception

test2

public void test2()
           throws java.lang.Exception

Throws:: java.lang.Exception

test3

public void test3()
           throws java.lang.Exception

Throws:: java.lang.Exception