org.sat4j.pb
Class TestDependencyHelper

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

public class TestDependencyHelper
extends java.lang.Object

Constructor Summary

TestDependencyHelper()

Method Summary

void	setUp()
void	testBasicRequirements()
void	testBasicRequirementsDetailedExplanation()
void	testCathyExamples()
void	testDisjunction()
void	testDisjunctionExplanation()
void	testDisjunctions()
void	testEquivalency()
void	testExplanationForASolution()
void	testJunitExample()
void	testJunitSingletonObjectiveExample()
void	testObjectiveFunction()

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