Prover9Test

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

public class Prover9Test
extends java.lang.Object

JUnitTest to test Prover9

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
  
  Prover9Test()
- 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
- e
```
static FolReasoner e
```
- printer
```
FolWriter printer
```

Constructor Detail
- Prover9Test
```
public Prover9Test()
```

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