org.sat4j.pb
Class XplainTests

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

public class XplainTests
extends java.lang.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