Prover9Test

java.lang.Object

org.tweetyproject.logics.fol.test.Prover9Test

public class Prover9Test extends Object

JUnitTest to test Prover9

Author:: Nils Geilen

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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Prover9Test
  
  public Prover9Test()
Method Details
- init
  
  public static void init()
- test1
  
  public void test1() throws Exception
  
  Throws:
  
  Exception
- test2
  
  public void test2() throws Exception
  
  Throws:
  
  Exception
- test3
  
  public void test3() throws Exception
  
  Throws:
  
  Exception