public class TestQuickXplain2001 extends AbstractXplainTest<ISolver>
solver
Constructor and Description |
---|
TestQuickXplain2001() |
Modifier and Type | Method and Description |
---|---|
protected Xplain<ISolver> |
getXplain() |
startUp, testAlmostGlobalInconsistency, testAlmostGlobalInconsistencyII, testAlmostGlobalInconsistencyIIIndex, testAlmostGlobalInconsistencyIndex, testEclipseTestCase, testEclipseTestCase2, testGlobalInconsistency, testGlobalInconsistencyIndex, testTheCaseOfTwoMUSes
protected Xplain<ISolver> getXplain()
getXplain
in class AbstractXplainTest<ISolver>
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.