public class TestConstrGroup extends Object
Constructor and Description |
---|
TestConstrGroup() |
Modifier and Type | Method and Description |
---|---|
void |
canPutAUnitClauseInAGroup() |
void |
checkBugReportedByThomas() |
void |
checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation() |
void |
checkItWorksAfterRunningTheSolver() |
void |
checkTheExpectedWayToDealWithUnitClausesToRemove() |
void |
testDeleteGroup() |
public void testDeleteGroup() throws ContradictionException
ContradictionException
public void canPutAUnitClauseInAGroup() throws ContradictionException
ContradictionException
public void checkBugReportedByThomas() throws ContradictionException
ContradictionException
public void checkItWorksAfterRunningTheSolver() throws ContradictionException, TimeoutException
public void checkGroupDoesWorkWhenClausesAreReducedByUnitPropgation() throws ContradictionException
ContradictionException
public void checkTheExpectedWayToDealWithUnitClausesToRemove() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.