net.sf.tweety.logics.fol.test

Class SPASSTest

java.lang.Object

net.sf.tweety.logics.fol.test.SPASSTest

public class SPASSTest
extends java.lang.Object

JUnitTest to test SPASS (test cases from TPTPTest)

Author:

Nils Geilen, Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
(package private) SPASSWriter	printer
(package private) static FolReasoner	spass

Constructor Summary

Constructors

Constructor and Description
SPASSTest()

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

spass

static FolReasoner spass

printer

SPASSWriter printer

Constructor Detail

SPASSTest

public SPASSTest()

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