org.sat4j.pb

Class TestDependencyHelper

java.lang.Object

org.sat4j.pb.TestDependencyHelper

public class TestDependencyHelper
extends Object

Constructor Summary

Constructors

Constructor and Description
TestDependencyHelper()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testBasicRequirements()
void	testBasicRequirementsDetailedExplanation()
void	testCardinalityConstraints()
void	testCathyExamples()
void	testDisjunction()
void	testDisjunctionExplanation()
void	testDisjunctions()
void	testEquivalency()
void	testExplanationForASolution()
void	testIgnoreContiguousDuplicatedEntry()
void	testImpliedObjects()
void	testJunitExample()
void	testJunitSingletonObjectiveExample()
void	testLimitofHashFunction()
void	testNonDuplicatedEntryNotCatched()
void	testObjectiveFunction()
void	testPseudoConstraints()
void	testPseudoConstraintsNegativeLiterals()
void	testThatWeCanRetrieveTheTruthValueOfNegatedObjects()
void	testVariablesIntroducedInNegativeFormFirst()
void	testVariablesIntroducedInNegativeFormFirstStoredCorrectly()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestDependencyHelper

public TestDependencyHelper()

Method Detail

setUp

public void setUp()

testBasicRequirements

public void testBasicRequirements()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testBasicRequirementsDetailedExplanation

public void testBasicRequirementsDetailedExplanation()
                                              throws org.sat4j.specs.ContradictionException,
                                                     org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testDisjunctions

public void testDisjunctions()
                      throws org.sat4j.specs.ContradictionException,
                             org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testDisjunctionExplanation

public void testDisjunctionExplanation()
                                throws org.sat4j.specs.ContradictionException,
                                       org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testExplanationForASolution

public void testExplanationForASolution()
                                 throws org.sat4j.specs.ContradictionException,
                                        org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testObjectiveFunction

public void testObjectiveFunction()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testJunitExample

public void testJunitExample()
                      throws org.sat4j.specs.ContradictionException,
                             org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testJunitSingletonObjectiveExample

public void testJunitSingletonObjectiveExample()
                                        throws org.sat4j.specs.ContradictionException,
                                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEquivalency

public void testEquivalency()
                     throws org.sat4j.specs.ContradictionException,
                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testDisjunction

public void testDisjunction()
                     throws org.sat4j.specs.ContradictionException,
                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testCathyExamples

public void testCathyExamples()
                       throws org.sat4j.specs.ContradictionException,
                              org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testCardinalityConstraints

public void testCardinalityConstraints()
                                throws org.sat4j.specs.ContradictionException,
                                       org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testPseudoConstraints

public void testPseudoConstraints()
                           throws org.sat4j.specs.ContradictionException,
                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testPseudoConstraintsNegativeLiterals

public void testPseudoConstraintsNegativeLiterals()
                                           throws org.sat4j.specs.ContradictionException,
                                                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testIgnoreContiguousDuplicatedEntry

public void testIgnoreContiguousDuplicatedEntry()
                                         throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testNonDuplicatedEntryNotCatched

public void testNonDuplicatedEntryNotCatched()
                                      throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testLimitofHashFunction

public void testLimitofHashFunction()
                             throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testVariablesIntroducedInNegativeFormFirst

public void testVariablesIntroducedInNegativeFormFirst()
                                                throws org.sat4j.specs.ContradictionException,
                                                       org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testVariablesIntroducedInNegativeFormFirstStoredCorrectly

public void testVariablesIntroducedInNegativeFormFirstStoredCorrectly()
                                                               throws org.sat4j.specs.ContradictionException,
                                                                      org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testThatWeCanRetrieveTheTruthValueOfNegatedObjects

public void testThatWeCanRetrieveTheTruthValueOfNegatedObjects()
                                                        throws org.sat4j.specs.ContradictionException,
                                                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testImpliedObjects

public void testImpliedObjects()
                        throws org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException