org.sat4j
Class TestQuickExplain

java.lang.Object
  org.sat4j.TestQuickExplain

public class TestQuickExplain
extends java.lang.Object

Constructor Summary

TestQuickExplain()

Method Summary

void	testAlmostGlobalInconsistency()
void	testAlmostGlobalInconsistencyII()
void	testEclipseTestCase()
void	testEclipseTestCase2()
void	testGlobalInconsistency()
void	testTheCaseOfTwoMUSes()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestQuickExplain

public TestQuickExplain()

Method Detail

testGlobalInconsistency

public void testGlobalInconsistency()
                             throws org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws org.sat4j.specs.ContradictionException,
                                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testTheCaseOfTwoMUSes

public void testTheCaseOfTwoMUSes()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEclipseTestCase

public void testEclipseTestCase()
                         throws org.sat4j.specs.ContradictionException,
                                org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEclipseTestCase2

public void testEclipseTestCase2()
                          throws org.sat4j.specs.ContradictionException,
                                 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException