org.sat4j
Class AbstractXplainTest<T extends ISolver>

java.lang.Object
  org.sat4j.AbstractXplainTest<T>

Direct Known Subclasses:

AbstractPBXplainTest, TestDeletionXplain, TestInsertionXplain, TestQuickXplain, TestQuickXplain2001

public abstract class AbstractXplainTest<T extends ISolver>
extends Object

Field Summary

protected Xplain<T>

solver

Constructor Summary

AbstractXplainTest()

Method Summary

protected abstract Xplain<T>	getXplain()
void	startUp()
void	testAlmostGlobalInconsistency()
void	testAlmostGlobalInconsistencyII()
void	testAlmostGlobalInconsistencyIIIndex()
void	testAlmostGlobalInconsistencyIndex()
void	testEclipseTestCase()
void	testEclipseTestCase2()
void	testGlobalInconsistency()
void	testGlobalInconsistencyIndex()
void	testTheCaseOfTwoMUSes()

Methods inherited from class java.lang.Object

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

Field Detail

solver

protected Xplain<T extends ISolver> solver

Constructor Detail

AbstractXplainTest

public AbstractXplainTest()

Method Detail

getXplain

protected abstract Xplain<T> getXplain()

startUp

public void startUp()

testGlobalInconsistency

public void testGlobalInconsistency()
                             throws ContradictionException,
                                    TimeoutException

Throws:

ContradictionException

TimeoutException

testGlobalInconsistencyIndex

public void testGlobalInconsistencyIndex()
                                  throws ContradictionException,
                                         TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws ContradictionException,
                                          TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyIndex

public void testAlmostGlobalInconsistencyIndex()
                                        throws ContradictionException,
                                               TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyIIIndex

public void testAlmostGlobalInconsistencyIIIndex()
                                          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