org.sat4j

Class TestConstrGroup

java.lang.Object

org.sat4j.TestConstrGroup

public class TestConstrGroup
extends Object

Constructor Summary

Constructors

Constructor and Description
TestConstrGroup()

Method Summary

Methods

Modifier and Type	Method and Description
void	canPutAUnitClauseInAGroup()
void	checkBugReportedByThomas()
void	checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation()
void	checkItWorksAfterRunningTheSolver()
void	checkTheExpectedWayToDealWithUnitClausesToRemove()
void	testDeleteGroup()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestConstrGroup

public TestConstrGroup()

Method Detail

testDeleteGroup

public void testDeleteGroup()
                     throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

canPutAUnitClauseInAGroup

public void canPutAUnitClauseInAGroup()
                               throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

checkBugReportedByThomas

public void checkBugReportedByThomas()
                              throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

checkItWorksAfterRunningTheSolver

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation

public void checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation()
                                                             throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

checkTheExpectedWayToDealWithUnitClausesToRemove

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException