org.sat4j.pb
Class TestDependencyHelper
java.lang.Object
org.sat4j.pb.TestDependencyHelper
public class TestDependencyHelper
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TestDependencyHelper
public TestDependencyHelper()
setUp
public void setUp()
testBasicRequirements
public void testBasicRequirements()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testBasicRequirementsDetailedExplanation
public void testBasicRequirementsDetailedExplanation()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testDisjunctions
public void testDisjunctions()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testDisjunctionExplanation
public void testDisjunctionExplanation()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testExplanationForASolution
public void testExplanationForASolution()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testObjectiveFunction
public void testObjectiveFunction()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testJunitExample
public void testJunitExample()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testJunitSingletonObjectiveExample
public void testJunitSingletonObjectiveExample()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testEquivalency
public void testEquivalency()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testDisjunction
public void testDisjunction()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testCathyExamples
public void testCathyExamples()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testCardinalityConstraints
public void testCardinalityConstraints()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testPseudoConstraints
public void testPseudoConstraints()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testPseudoConstraintsNegativeLiterals
public void testPseudoConstraintsNegativeLiterals()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testIgnoreContiguousDuplicatedEntry
public void testIgnoreContiguousDuplicatedEntry()
throws ContradictionException
- Throws:
ContradictionException
testNonDuplicatedEntryNotCatched
public void testNonDuplicatedEntryNotCatched()
throws ContradictionException
- Throws:
ContradictionException
testLimitofHashFunction
public void testLimitofHashFunction()
throws ContradictionException
- Throws:
ContradictionException
testVariablesIntroducedInNegativeFormFirst
public void testVariablesIntroducedInNegativeFormFirst()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
testVariablesIntroducedInNegativeFormFirstStoredCorrectly
public void testVariablesIntroducedInNegativeFormFirstStoredCorrectly()
throws ContradictionException,
TimeoutException
- Throws:
ContradictionException
TimeoutException
Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.