Class MlReasonerTest


  • public class MlReasonerTest
    extends java.lang.Object
    JUnit Test class for NaiveModalReasoner.
    Author:
    Anna Gessler
    • 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