org.sat4j.pb
Class TestDependencyHelper

java.lang.Object
  extended by org.sat4j.pb.TestDependencyHelper

public class TestDependencyHelper
extends Object


Constructor Summary
TestDependencyHelper()
           
 
Method Summary
 void setUp()
           
 void testBasicRequirements()
           
 void testBasicRequirementsDetailedExplanation()
           
 void testCardinalityConstraints()
           
 void testCathyExamples()
           
 void testDisjunction()
           
 void testDisjunctionExplanation()
           
 void testDisjunctions()
           
 void testEquivalency()
           
 void testExplanationForASolution()
           
 void testIgnoreContiguousDuplicatedEntry()
           
 void testJunitExample()
           
 void testJunitSingletonObjectiveExample()
           
 void testLimitofHashFunction()
           
 void testNonDuplicatedEntryNotCatched()
           
 void testObjectiveFunction()
           
 void testPseudoConstraints()
           
 void testPseudoConstraintsNegativeLiterals()
           
 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 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.