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