public class TestDependencyHelper extends Object
Constructor and Description |
---|
TestDependencyHelper() |
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() |
public void setUp()
public void testBasicRequirements() throws ContradictionException, TimeoutException
public void testBasicRequirementsDetailedExplanation() throws ContradictionException, TimeoutException
public void testDisjunctions() throws ContradictionException, TimeoutException
public void testDisjunctionExplanation() throws ContradictionException, TimeoutException
public void testExplanationForASolution() throws ContradictionException, TimeoutException
public void testObjectiveFunction() throws ContradictionException, TimeoutException
public void testJunitExample() throws ContradictionException, TimeoutException
public void testJunitSingletonObjectiveExample() throws ContradictionException, TimeoutException
public void testEquivalency() throws ContradictionException, TimeoutException
public void testDisjunction() throws ContradictionException, TimeoutException
public void testCathyExamples() throws ContradictionException, TimeoutException
public void testCardinalityConstraints() throws ContradictionException, TimeoutException
public void testPseudoConstraints() throws ContradictionException, TimeoutException
public void testPseudoConstraintsNegativeLiterals() throws ContradictionException, TimeoutException
public void testIgnoreContiguousDuplicatedEntry() throws ContradictionException
ContradictionException
public void testNonDuplicatedEntryNotCatched() throws ContradictionException
ContradictionException
public void testLimitofHashFunction() throws ContradictionException
ContradictionException
public void testVariablesIntroducedInNegativeFormFirst() throws ContradictionException, TimeoutException
public void testVariablesIntroducedInNegativeFormFirstStoredCorrectly() throws ContradictionException, TimeoutException
public void testThatWeCanRetrieveTheTruthValueOfNegatedObjects() throws ContradictionException, TimeoutException
public void testImpliedObjects() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.