Package org.tweetyproject.logics.ml

Class MlReasonerTest

java.lang.Object

org.tweetyproject.logics.ml.MlReasonerTest

public class MlReasonerTest
extends Object

JUnit Test class for NaiveModalReasoner.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static final 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 Details

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

• Constant Field Values

Constructor Details

MlReasonerTest

public MlReasonerTest()

Method Details

SimpleQueryTest1

public void SimpleQueryTest1()
                      throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

SimpleQueryTest2

public void SimpleQueryTest2()
                      throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

SimpleQueryTest3

public void SimpleQueryTest3()
                      throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

SimpleQueryTest4

public void SimpleQueryTest4()
                      throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

ImplicationTest

public void ImplicationTest()
                     throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

TautologyAsQueryTest

public void TautologyAsQueryTest()
                          throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

ContradictionAsQueryTest

public void ContradictionAsQueryTest()
                              throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

EmptyBeliefBaseTest

public void EmptyBeliefBaseTest()
                         throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException

UnrecognizedQueryTest

public void UnrecognizedQueryTest()
                           throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException