org.sat4j
Class TestConstrGroup

java.lang.Object
  org.sat4j.TestConstrGroup

public class TestConstrGroup
extends java.lang.Object

Constructor Summary

TestConstrGroup()

Method Summary

void	cannotPutAUnitClauseInAGroup()
void	checkBugReportedByThomas()
void	checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation()
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

cannotPutAUnitClauseInAGroup

public void cannotPutAUnitClauseInAGroup()
                                  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

checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation

public void checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation()
                                                                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