/*
 * Created on Nov 9, 2004
 *
 */
package aima.test.logictest.prop;

import junit.framework.Test;
import junit.framework.TestSuite;
import aima.test.logictest.prop.algorithms.DPLLTest;
import aima.test.logictest.prop.algorithms.KnowledgeBaseTest;
import aima.test.logictest.prop.algorithms.ModelTest;
import aima.test.logictest.prop.algorithms.PLFCEntailsTest;
import aima.test.logictest.prop.algorithms.PLResolutionTest;
import aima.test.logictest.prop.algorithms.TTEntailsTest;
import aima.test.logictest.prop.parser.PELexerTest;
import aima.test.logictest.prop.parser.PEParserTest;
import aima.test.logictest.prop.visitors.CNFClauseGathererTest;
import aima.test.logictest.prop.visitors.CNFTransformerTest;
import aima.test.logictest.prop.visitors.SymbolClassifierTest;
import aima.test.logictest.prop.visitors.SymbolCollectorTest;




/**
 * @author Ravi Mohan
 *  
 */
public class PropTests {
	public static Test suite() {
		TestSuite suite = new TestSuite();
		suite.addTest(new TestSuite(CNFClauseGathererTest.class));
		suite.addTest(new TestSuite(CNFTransformerTest.class));	
		suite.addTest(new TestSuite(DPLLTest.class));
		suite.addTest(new TestSuite(KnowledgeBaseTest.class));
		suite.addTest(new TestSuite(ModelTest.class));
		suite.addTest(new TestSuite(PELexerTest.class));
		suite.addTest(new TestSuite(PEParserTest.class));
		suite.addTest(new TestSuite(PLFCEntailsTest.class));
		suite.addTest(new TestSuite(PLResolutionTest.class));
		suite.addTest(new TestSuite(SymbolClassifierTest.class));
		suite.addTest(new TestSuite(SymbolCollectorTest.class));
		suite.addTest(new TestSuite(TTEntailsTest.class));
		
		
		
		return suite;
	}
}