TPTPTest

java.lang.Object

org.tweetyproject.logics.fol.test.TPTPTest

public class TPTPTest extends Object

JUnitTest to test TPTP printer and EProver implementation

Author:: Nils Geilen

Constructor Summary

Constructors

Constructor

Description

TPTPTest()
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
- TPTPTest
  
  public TPTPTest()
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