org.sat4j

Class AbstractXplainTest<T extends org.sat4j.specs.ISolver>

java.lang.Object

org.sat4j.AbstractXplainTest<T>

Direct Known Subclasses:

TestDeletionXplain, TestInsertionXplain, TestQuickXplain, TestQuickXplain2001

public abstract class AbstractXplainTest<T extends org.sat4j.specs.ISolver>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected org.sat4j.tools.xplain.Xplain<T>	solver

Constructor Summary

Constructors

Constructor and Description
AbstractXplainTest()

Method Summary

Methods

Modifier and Type	Method and Description
protected abstract org.sat4j.tools.xplain.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 org.sat4j.tools.xplain.Xplain<T extends org.sat4j.specs.ISolver> solver

Constructor Detail

AbstractXplainTest

public AbstractXplainTest()

Method Detail

getXplain

protected abstract org.sat4j.tools.xplain.Xplain<T> getXplain()

startUp

public void startUp()

testGlobalInconsistency

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testGlobalInconsistencyIndex

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

testAlmostGlobalInconsistencyIndex

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

testAlmostGlobalInconsistencyIIIndex

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