public class ModalReasonerTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_TIMEOUT |
Constructor and Description |
---|
ModalReasonerTest() |
Modifier and Type | Method and Description |
---|---|
void |
ContradictionAsQueryTest() |
void |
EmptyBeliefBaseTest() |
void |
ImplicationTest() |
void |
SimpleQueryTest1() |
void |
SimpleQueryTest2() |
void |
SimpleQueryTest3() |
void |
SimpleQueryTest4() |
void |
TautologyAsQueryTest() |
void |
UnrecognizedQueryTest() |
public static final int DEFAULT_TIMEOUT
public void SimpleQueryTest1() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void SimpleQueryTest2() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void SimpleQueryTest3() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void SimpleQueryTest4() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void ImplicationTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void TautologyAsQueryTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void ContradictionAsQueryTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void EmptyBeliefBaseTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException
public void UnrecognizedQueryTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
java.io.FileNotFoundException
ParserException
java.io.IOException