org.sat4j.pb

Class AbstractPBXplainTest

java.lang.Object

org.sat4j.AbstractXplainTest<org.sat4j.pb.IPBSolver>

org.sat4j.pb.AbstractPBXplainTest

Direct Known Subclasses:

TestDeletionXplain, TestInsertionXplain, TestQuickXplain

public abstract class AbstractPBXplainTest
extends AbstractXplainTest<org.sat4j.pb.IPBSolver>

Field Summary

Fields inherited from class org.sat4j.AbstractXplainTest

solver

Constructor Summary

Constructors

Constructor and Description
AbstractPBXplainTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	testExactlyConstraint()

Methods inherited from class org.sat4j.AbstractXplainTest

getXplain, startUp, testAlmostGlobalInconsistency, testAlmostGlobalInconsistencyII, testAlmostGlobalInconsistencyIIIndex, testAlmostGlobalInconsistencyIndex, testEclipseTestCase, testEclipseTestCase2, testGlobalInconsistency, testGlobalInconsistencyIndex, testTheCaseOfTwoMUSes

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractPBXplainTest

public AbstractPBXplainTest()

Method Detail

testExactlyConstraint

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException