org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.test

Class CDCLTest

java.lang.Object

TestCase

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.test.CDCLTest

public class CDCLTest
extends TestCase

Constructor Summary

Constructors

Constructor and Description
CDCLTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	testFalse(ICDCLFactory factory)
void	testFalseDefault()
void	testFalseDisabled()
void	testFalseMoreClauses()
void	testInstances(java.lang.String args, java.io.FileFilter filter, Solution expectedValue, ICDCLFactory factory)
void	testTrue(ICDCLFactory factory)
void	testTrueDefault()
void	testTrueDisabled()
void	testTrueMoreClauses()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CDCLTest

public CDCLTest()

Method Detail

testTrueMoreClauses

public void testTrueMoreClauses()

testFalseMoreClauses

public void testFalseMoreClauses()

testTrueDefault

public void testTrueDefault()

testFalseDefault

public void testFalseDefault()

testTrueDisabled

public void testTrueDisabled()

testFalseDisabled

public void testFalseDisabled()

testTrue

public void testTrue(ICDCLFactory factory)

testFalse

public void testFalse(ICDCLFactory factory)

testInstances

public void testInstances(java.lang.String args,
                 java.io.FileFilter filter,
                 Solution expectedValue,
                 ICDCLFactory factory)