public class BugTrivialAssumption extends Object
Constructor and Description |
---|
BugTrivialAssumption() |
Modifier and Type | Method and Description |
---|---|
void |
testBinaryClauseInFormula() |
void |
testEasyInconsistencyInAssumption() |
void |
testInconsistencyInAssumption() |
void |
testUnitClauseInFormulaSat() |
void |
testUnitClauseInFormulaUnsat() |
void |
testVoidFormula() |
public void testUnitClauseInFormulaUnsat() throws ContradictionException, TimeoutException
public void testUnitClauseInFormulaSat() throws ContradictionException, TimeoutException
public void testBinaryClauseInFormula() throws ContradictionException, TimeoutException
public void testEasyInconsistencyInAssumption() throws ContradictionException, TimeoutException
public void testInconsistencyInAssumption() throws ContradictionException, TimeoutException
public void testVoidFormula() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.