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 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
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.