net.sf.tweety.logics.fol.test

Class TPTPTest

java.lang.Object

net.sf.tweety.logics.fol.test.TPTPTest

public class TPTPTest
extends java.lang.Object

JUnitTest to test TPTP priter and Eprover implemnetation

Author:

Nils Geilen

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static FolTheoremProver	e
(package private) FolWriter	printer

Constructor Summary

Constructors

Constructor and Description
TPTPTest()

Method Summary

Modifier and Type	Method and 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 FolTheoremProver e

printer

FolWriter printer

Constructor Detail

TPTPTest

public TPTPTest()

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