001    /*
002     * Created on Nov 9, 2004
003     *
004     */
005    package aima.test.logictest.prop;
006    
007    import junit.framework.Test;
008    import junit.framework.TestSuite;
009    import aima.test.logictest.prop.algorithms.DPLLTest;
010    import aima.test.logictest.prop.algorithms.KnowledgeBaseTest;
011    import aima.test.logictest.prop.algorithms.ModelTest;
012    import aima.test.logictest.prop.algorithms.PLFCEntailsTest;
013    import aima.test.logictest.prop.algorithms.PLResolutionTest;
014    import aima.test.logictest.prop.algorithms.TTEntailsTest;
015    import aima.test.logictest.prop.parser.PELexerTest;
016    import aima.test.logictest.prop.parser.PEParserTest;
017    import aima.test.logictest.prop.visitors.CNFClauseGathererTest;
018    import aima.test.logictest.prop.visitors.CNFTransformerTest;
019    import aima.test.logictest.prop.visitors.SymbolClassifierTest;
020    import aima.test.logictest.prop.visitors.SymbolCollectorTest;
021    
022    /**
023     * @author Ravi Mohan
024     * 
025     */
026    
027    public class PropTests {
028            public static Test suite() {
029                    TestSuite suite = new TestSuite();
030                    suite.addTest(new TestSuite(CNFClauseGathererTest.class));
031                    suite.addTest(new TestSuite(CNFTransformerTest.class));
032                    suite.addTest(new TestSuite(DPLLTest.class));
033                    suite.addTest(new TestSuite(KnowledgeBaseTest.class));
034                    suite.addTest(new TestSuite(ModelTest.class));
035                    suite.addTest(new TestSuite(PELexerTest.class));
036                    suite.addTest(new TestSuite(PEParserTest.class));
037                    suite.addTest(new TestSuite(PLFCEntailsTest.class));
038                    suite.addTest(new TestSuite(PLResolutionTest.class));
039                    suite.addTest(new TestSuite(SymbolClassifierTest.class));
040                    suite.addTest(new TestSuite(SymbolCollectorTest.class));
041                    suite.addTest(new TestSuite(TTEntailsTest.class));
042    
043                    return suite;
044            }
045    }