org.sat4j.pb
Class AbstractPBXplainTest
java.lang.Object
org.sat4j.AbstractXplainTest<org.sat4j.pb.IPBSolver>
org.sat4j.pb.AbstractPBXplainTest
- Direct Known Subclasses:
- TestDeletionXplain, TestInsertionXplain, TestQuickXplain
public abstract class AbstractPBXplainTest
- extends AbstractXplainTest<org.sat4j.pb.IPBSolver>
Methods inherited from class org.sat4j.AbstractXplainTest |
getXplain, 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 |
AbstractPBXplainTest
public AbstractPBXplainTest()
testExactlyConstraint
public void testExactlyConstraint()
throws org.sat4j.specs.ContradictionException,
org.sat4j.specs.TimeoutException
- Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.