org.sat4j.pb
Class AbstractPBXplainTest

java.lang.Object
  org.sat4j.AbstractXplainTest<IPBSolver>
      org.sat4j.pb.AbstractPBXplainTest

Direct Known Subclasses:

TestDeletionXplain, TestInsertionXplain, TestQuickXplain

public abstract class AbstractPBXplainTest
extends AbstractXplainTest<IPBSolver>

Field Summary

Fields inherited from class org.sat4j.AbstractXplainTest

solver

Constructor Summary

AbstractPBXplainTest()

Method Summary

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 ContradictionException,
                                  TimeoutException

Throws:

ContradictionException

TimeoutException