Package net.sf.tweety.logics.ml

Class MlReasonerTest

java.lang.Object

net.sf.tweety.logics.ml.MlReasonerTest

public class MlReasonerTest
extends java.lang.Object

JUnit Test class for NaiveModalReasoner.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
MlReasonerTest()

Method Summary

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

equals, 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

MlReasonerTest

public MlReasonerTest()

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