org.sat4j.pb
Class TestQuickXplain

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

public class TestQuickXplain
extends AbstractPBXplainTest

Field Summary

Fields inherited from class org.sat4j.AbstractXplainTest

solver

Constructor Summary

TestQuickXplain()

Method Summary

protected org.sat4j.tools.xplain.Xplain<org.sat4j.pb.IPBSolver>

getXplain()

Methods inherited from class org.sat4j.pb.AbstractPBXplainTest

testExactlyConstraint

Methods inherited from class org.sat4j.AbstractXplainTest

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

TestQuickXplain

public TestQuickXplain()

Method Detail

getXplain

protected org.sat4j.tools.xplain.Xplain<org.sat4j.pb.IPBSolver> getXplain()

Specified by:

getXplain in class AbstractXplainTest<org.sat4j.pb.IPBSolver>