org.sat4j
Class TestQuickExplain

java.lang.Object
  org.sat4j.TestQuickExplain

public class TestQuickExplain
extends 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 ContradictionException,
                                    TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws ContradictionException,
                                          TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException

testTheCaseOfTwoMUSes

public void testTheCaseOfTwoMUSes()
                           throws ContradictionException,
                                  TimeoutException

Throws:

ContradictionException

TimeoutException

testEclipseTestCase

public void testEclipseTestCase()
                         throws ContradictionException,
                                TimeoutException

Throws:

ContradictionException

TimeoutException

testEclipseTestCase2

public void testEclipseTestCase2()
                          throws ContradictionException,
                                 TimeoutException

Throws:

ContradictionException

TimeoutException