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