net.sf.tweety.logics.fol.test

Class Prover9Test

java.lang.Object

net.sf.tweety.logics.fol.test.Prover9Test

public class Prover9Test
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Prover9Test()

Method Summary

Modifier and Type	Method and Description
static void	init()
void	test1()
void	test2()
void	test3()
void	test4()

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

Prover9Test

public Prover9Test()

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

test4

public void test4()
           throws java.lang.Exception

Throws:

java.lang.Exception