org.sat4j
Class TestConstrGroup

java.lang.Object
  org.sat4j.TestConstrGroup

public class TestConstrGroup
extends Object

Constructor Summary

TestConstrGroup()

Method Summary

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 ContradictionException

Throws:

ContradictionException

canPutAUnitClauseInAGroup

public void canPutAUnitClauseInAGroup()
                               throws ContradictionException

Throws:

ContradictionException

checkBugReportedByThomas

public void checkBugReportedByThomas()
                              throws ContradictionException

Throws:

ContradictionException

checkItWorksAfterRunningTheSolver

public void checkItWorksAfterRunningTheSolver()
                                       throws ContradictionException,
                                              TimeoutException

Throws:

ContradictionException

TimeoutException

checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation

public void checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation()
                                                             throws ContradictionException

Throws:

ContradictionException

checkTheExpectedWayToDealWithUnitClausesToRemove

public void checkTheExpectedWayToDealWithUnitClausesToRemove()
                                                      throws ContradictionException,
                                                             TimeoutException

Throws:

ContradictionException

TimeoutException