001    /*
002     * Created on Aug 30, 2003 by Ravi Mohan
003     *  
004     */
005    package aima.test.logictest;
006    
007    import junit.framework.Test;
008    import junit.framework.TestSuite;
009    import aima.test.logictest.foltest.CNFConverterTest;
010    import aima.test.logictest.foltest.ChainTest;
011    import aima.test.logictest.foltest.ClauseTest;
012    import aima.test.logictest.foltest.DemodulationTest;
013    import aima.test.logictest.foltest.DomainTest;
014    import aima.test.logictest.foltest.FOLBCAskTest;
015    import aima.test.logictest.foltest.FOLFCAskTest;
016    import aima.test.logictest.foltest.FOLKnowledgeBaseTest;
017    import aima.test.logictest.foltest.FOLLexerTest;
018    import aima.test.logictest.foltest.FOLModelEliminationTest;
019    import aima.test.logictest.foltest.FOLOTTERLikeTheoremProverTest;
020    import aima.test.logictest.foltest.FOLParserTest;
021    import aima.test.logictest.foltest.FOLSubstTest;
022    import aima.test.logictest.foltest.FOLTFMResolutionTest;
023    import aima.test.logictest.foltest.ParamodulationTest;
024    import aima.test.logictest.foltest.PredicateCollectorTest;
025    import aima.test.logictest.foltest.SubsumptionEliminationTest;
026    import aima.test.logictest.foltest.UnifierTest;
027    import aima.test.logictest.foltest.VariableCollectorTest;
028    import aima.test.logictest.prop.PropTests;
029    import aima.test.utiltest.SetTest;
030    
031    /**
032     * @author Ravi Mohan
033     * 
034     */
035    public class LogicTests {
036            public static Test suite() {
037                    TestSuite suite = new TestSuite();
038    
039                    // propositional tests
040                    suite.addTest(PropTests.suite());
041    
042                    // first order tests
043                    suite.addTest(new TestSuite(ChainTest.class));
044                    suite.addTest(new TestSuite(ClauseTest.class));
045                    suite.addTest(new TestSuite(CNFConverterTest.class));
046                    suite.addTest(new TestSuite(DemodulationTest.class));
047                    suite.addTest(new TestSuite(DomainTest.class));
048                    suite.addTest(new TestSuite(FOLBCAskTest.class));
049                    suite.addTest(new TestSuite(FOLFCAskTest.class));
050                    suite.addTest(new TestSuite(FOLKnowledgeBaseTest.class));
051                    suite.addTest(new TestSuite(FOLLexerTest.class));
052                    suite.addTest(new TestSuite(FOLModelEliminationTest.class));
053                    suite.addTest(new TestSuite(FOLOTTERLikeTheoremProverTest.class));
054                    suite.addTest(new TestSuite(FOLParserTest.class));
055                    suite.addTest(new TestSuite(FOLSubstTest.class));
056                    suite.addTest(new TestSuite(FOLTFMResolutionTest.class));
057                    suite.addTest(new TestSuite(ParamodulationTest.class));
058                    suite.addTest(new TestSuite(PredicateCollectorTest.class));
059                    suite.addTest(new TestSuite(SubsumptionEliminationTest.class));
060                    suite.addTest(new TestSuite(UnifierTest.class));
061                    suite.addTest(new TestSuite(VariableCollectorTest.class));
062    
063                    // utils
064                    suite.addTest(new TestSuite(SetTest.class));
065                    return suite;
066            }
067    
068            public static void main(String args[]) {
069                    junit.textui.TestRunner.run(suite());
070            }
071    
072    }