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 ContradictionException,
                                                      TimeoutException
Throws:
ContradictionException
TimeoutException

testRequiredSoftwareDependsOnOlderVersionDeepTree

public void testRequiredSoftwareDependsOnOlderVersionDeepTree()
                                                       throws ContradictionException,
                                                              TimeoutException
Throws:
ContradictionException
TimeoutException

testUseWeightToOrderSolutions

public void testUseWeightToOrderSolutions()
                                   throws ContradictionException,
                                          TimeoutException
Throws:
ContradictionException
TimeoutException

testUseNumberOfMissingVariablesToOrderExplanations

public void testUseNumberOfMissingVariablesToOrderExplanations()
                                                        throws ContradictionException,
                                                               TimeoutException
Throws:
ContradictionException
TimeoutException

testUseNumberOfMissingVariablesAndWeightToOrderExplanations

public void testUseNumberOfMissingVariablesAndWeightToOrderExplanations()
                                                                 throws ContradictionException,
                                                                        TimeoutException
Throws:
ContradictionException
TimeoutException

testConflictingRequirements

public void testConflictingRequirements()
                                 throws ContradictionException,
                                        TimeoutException
Throws:
ContradictionException
TimeoutException


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