org.sat4j.pb.constraints
Class TestQuickExplainPB

java.lang.Object
  org.sat4j.pb.constraints.TestQuickExplainPB

public class TestQuickExplainPB
extends Object

Constructor Summary

TestQuickExplainPB()

Method Summary

void	testAlmostGlobalInconsistency()
void	testAlmostGlobalInconsistencyII()
void	testAlmostGlobalInconsistencyPB()
void	testEclipsePatchEncoding()
void	testGlobalInconsistency()
void	testGlobalInconsistencyPB()
void	testUpdatedEclipsePatchEncoding()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestQuickExplainPB

public TestQuickExplainPB()

Method Detail

testGlobalInconsistency

public void testGlobalInconsistency()
                             throws ContradictionException,
                                    TimeoutException

Throws:

ContradictionException

TimeoutException

testGlobalInconsistencyPB

public void testGlobalInconsistencyPB()
                               throws ContradictionException,
                                      TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws ContradictionException,
                                          TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException

testAlmostGlobalInconsistencyPB

public void testAlmostGlobalInconsistencyPB()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException

testEclipsePatchEncoding

public void testEclipsePatchEncoding()
                              throws ContradictionException,
                                     TimeoutException

Throws:

ContradictionException

TimeoutException

testUpdatedEclipsePatchEncoding

public void testUpdatedEclipsePatchEncoding()
                                     throws ContradictionException,
                                            TimeoutException

Throws:

ContradictionException

TimeoutException