net.sf.tweety.logics.ml

Class ModalReasonerTest

java.lang.Object

net.sf.tweety.logics.ml.ModalReasonerTest

public class ModalReasonerTest
extends java.lang.Object

JUnit Test class for NaiveModalReasoner.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor and Description
ModalReasonerTest()

Method Summary

Modifier and Type	Method and Description
void	ContradictionAsQueryTest()
void	EmptyBeliefBaseTest()
void	ImplicationTest()
void	SimpleQueryTest1()
void	SimpleQueryTest2()
void	SimpleQueryTest3()
void	SimpleQueryTest4()
void	TautologyAsQueryTest()
void	UnrecognizedQueryTest()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

ModalReasonerTest

public ModalReasonerTest()

Method Detail

SimpleQueryTest1

public void SimpleQueryTest1()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

SimpleQueryTest2

public void SimpleQueryTest2()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

SimpleQueryTest3

public void SimpleQueryTest3()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

SimpleQueryTest4

public void SimpleQueryTest4()
                      throws java.io.FileNotFoundException,
                             ParserException,
                             java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

ImplicationTest

public void ImplicationTest()
                     throws java.io.FileNotFoundException,
                            ParserException,
                            java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

TautologyAsQueryTest

public void TautologyAsQueryTest()
                          throws java.io.FileNotFoundException,
                                 ParserException,
                                 java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

ContradictionAsQueryTest

public void ContradictionAsQueryTest()
                              throws java.io.FileNotFoundException,
                                     ParserException,
                                     java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

EmptyBeliefBaseTest

public void EmptyBeliefBaseTest()
                         throws java.io.FileNotFoundException,
                                ParserException,
                                java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException

UnrecognizedQueryTest

public void UnrecognizedQueryTest()
                           throws java.io.FileNotFoundException,
                                  ParserException,
                                  java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException