org.sat4j.pb
Class XplainTests

java.lang.Object
  extended by org.sat4j.pb.XplainTests

public class XplainTests
extends Object


Constructor Summary
XplainTests()
           
 
Method Summary
 void setUp()
           
 void testConflictingRequirements()
           
 void testRequiredSoftwareDependsOnOlderVersion()
           
 void testRequiredSoftwareDependsOnOlderVersionDeepTree()
           
 void testUseNumberOfMissingVariablesAndWeightToOrderExplanations()
           
 void testUseNumberOfMissingVariablesToOrderExplanations()
           
 void testUseWeightToOrderSolutions()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XplainTests

public XplainTests()
Method Detail

setUp

public void setUp()

testRequiredSoftwareDependsOnOlderVersion

public void testRequiredSoftwareDependsOnOlderVersion()
                                               throws org.sat4j.specs.ContradictionException,
                                                      org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testRequiredSoftwareDependsOnOlderVersionDeepTree

public void testRequiredSoftwareDependsOnOlderVersionDeepTree()
                                                       throws org.sat4j.specs.ContradictionException,
                                                              org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testUseWeightToOrderSolutions

public void testUseWeightToOrderSolutions()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testUseNumberOfMissingVariablesToOrderExplanations

public void testUseNumberOfMissingVariablesToOrderExplanations()
                                                        throws org.sat4j.specs.ContradictionException,
                                                               org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testUseNumberOfMissingVariablesAndWeightToOrderExplanations

public void testUseNumberOfMissingVariablesAndWeightToOrderExplanations()
                                                                 throws org.sat4j.specs.ContradictionException,
                                                                        org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException

testConflictingRequirements

public void testConflictingRequirements()
                                 throws org.sat4j.specs.ContradictionException,
                                        org.sat4j.specs.TimeoutException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException


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