org.sat4j.tools

Class BackboneTest

java.lang.Object

org.sat4j.tools.BackboneTest

public class BackboneTest
extends Object

Constructor Summary

Constructors

Constructor and Description
BackboneTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	testBugUnitClauses() Testcase to check that the problem with unit clauses does no longer occurs.
void	testCaseWithUnsatProblem()
void	testEasyCaseWithOnlyOneModel()
void	testEmptyBackbone()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BackboneTest

public BackboneTest()

Method Detail

testEasyCaseWithOnlyOneModel

public void testEasyCaseWithOnlyOneModel()
                                  throws org.sat4j.specs.ContradictionException,
                                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEmptyBackbone

public void testEmptyBackbone()
                       throws org.sat4j.specs.ContradictionException,
                              org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testCaseWithUnsatProblem

public void testCaseWithUnsatProblem()
                              throws org.sat4j.specs.ContradictionException,
                                     org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testBugUnitClauses

public void testBugUnitClauses()
                        throws org.sat4j.specs.ContradictionException,
                               org.sat4j.specs.TimeoutException

Testcase to check that the problem with unit clauses does no longer occurs. Bug report from Sebastian Henneberg

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException