net.sf.tweety.logics.el

Class ModalReasonerTest

java.lang.Object

net.sf.tweety.logics.el.ModalReasonerTest

public class ModalReasonerTest
extends java.lang.Object

JUnit Test class for modal reasoners, i.e. NaiveModalReasoner and other reasoners to be added in the future.

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	SimpleQueryTest()
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

SimpleQueryTest

public void SimpleQueryTest()
                     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