org.sat4j
Class TestConstrGroup

java.lang.Object
  org.sat4j.TestConstrGroup

public class TestConstrGroup
extends 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 ContradictionException

Throws:

ContradictionException

cannotPutAUnitClauseInAGroup

public void cannotPutAUnitClauseInAGroup()
                                  throws ContradictionException

Throws:

ContradictionException

checkBugReportedByThomas

public void checkBugReportedByThomas()
                              throws ContradictionException

Throws:

ContradictionException

checkItWorksAfterRunningTheSolver

public void checkItWorksAfterRunningTheSolver()
                                       throws ContradictionException,
                                              TimeoutException

Throws:

ContradictionException

TimeoutException

checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation

public void checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation()
                                                                throws ContradictionException

Throws:

ContradictionException

checkTheExpectedWayToDealWithUnitClausesToRemove

public void checkTheExpectedWayToDealWithUnitClausesToRemove()
                                                      throws ContradictionException,
                                                             TimeoutException

Throws:

ContradictionException

TimeoutException