org.sat4j.pb

Class XplainTests

java.lang.Object

org.sat4j.pb.XplainTests

public class XplainTests
extends Object

Constructor Summary

Constructors

Constructor and Description
XplainTests()

Method Summary

Methods

Modifier and Type	Method and Description
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