org.sat4j.pb.constraints
Class TestQuickExplainPB

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

public class TestQuickExplainPB
extends java.lang.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 org.sat4j.specs.ContradictionException,
                                    org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testGlobalInconsistencyPB

public void testGlobalInconsistencyPB()
                               throws org.sat4j.specs.ContradictionException,
                                      org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistency

public void testAlmostGlobalInconsistency()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyII

public void testAlmostGlobalInconsistencyII()
                                     throws org.sat4j.specs.ContradictionException,
                                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testAlmostGlobalInconsistencyPB

public void testAlmostGlobalInconsistencyPB()
                                     throws org.sat4j.specs.ContradictionException,
                                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEclipsePatchEncoding

public void testEclipsePatchEncoding()
                              throws org.sat4j.specs.ContradictionException,
                                     org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testUpdatedEclipsePatchEncoding

public void testUpdatedEclipsePatchEncoding()
                                     throws org.sat4j.specs.ContradictionException,
                                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException