SPASSTest

java.lang.Object

org.tweetyproject.logics.fol.test.SPASSTest

public class SPASSTest extends Object

JUnitTest to test SPASS (test cases from TPTPTest)

Author:: Nils Geilen, Anna Gessler

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

Constructor Details
- SPASSTest
  
  public SPASSTest()
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