org.sat4j
Class TestQuickXplain2001

java.lang.Object
  org.sat4j.AbstractXplainTest<ISolver>
      org.sat4j.TestQuickXplain2001

public class TestQuickXplain2001
extends AbstractXplainTest<ISolver>

Field Summary

Fields inherited from class org.sat4j.AbstractXplainTest

solver

Constructor Summary

TestQuickXplain2001()

Method Summary

protected Xplain<ISolver>

getXplain()

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

TestQuickXplain2001

public TestQuickXplain2001()

Method Detail

getXplain

protected Xplain<ISolver> getXplain()

Specified by:

getXplain in class AbstractXplainTest<ISolver>