org.sat4j.pb

Class TestInsertionXplain

java.lang.Object

org.sat4j.AbstractXplainTest<org.sat4j.pb.IPBSolver>

org.sat4j.pb.AbstractPBXplainTest

org.sat4j.pb.TestInsertionXplain

public class TestInsertionXplain
extends AbstractPBXplainTest

Field Summary

Fields inherited from class org.sat4j.AbstractXplainTest

solver

Constructor Summary

Constructors

Constructor and Description
TestInsertionXplain()

Method Summary

Methods

Modifier and Type	Method and Description
protected org.sat4j.tools.xplain.Xplain<org.sat4j.pb.IPBSolver>	getXplain()

Methods inherited from class org.sat4j.pb.AbstractPBXplainTest

testExactlyConstraint

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

TestInsertionXplain

public TestInsertionXplain()

Method Detail

getXplain

protected org.sat4j.tools.xplain.Xplain<org.sat4j.pb.IPBSolver> getXplain()

Specified by:

getXplain in class AbstractXplainTest<org.sat4j.pb.IPBSolver>