org.sat4j.pb.constraints
Class TestQuickExplainPB

java.lang.Object
  extended by 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 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


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.