org.sat4j.minisat.core
Class BugTrivialAssumption

java.lang.Object
  org.sat4j.minisat.core.BugTrivialAssumption

public class BugTrivialAssumption
extends Object

Constructor Summary

BugTrivialAssumption()

Method Summary

void	testBinaryClauseInFormula()
void	testEasyInconsistencyInAssumption()
void	testInconsistencyInAssumption()
void	testUnitClauseInFormulaSat()
void	testUnitClauseInFormulaUnsat()
void	testVoidFormula()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BugTrivialAssumption

public BugTrivialAssumption()

Method Detail

testUnitClauseInFormulaUnsat

public void testUnitClauseInFormulaUnsat()
                                  throws ContradictionException,
                                         TimeoutException

Throws:

ContradictionException

TimeoutException

testUnitClauseInFormulaSat

public void testUnitClauseInFormulaSat()
                                throws ContradictionException,
                                       TimeoutException

Throws:

ContradictionException

TimeoutException

testBinaryClauseInFormula

public void testBinaryClauseInFormula()
                               throws ContradictionException,
                                      TimeoutException

Throws:

ContradictionException

TimeoutException

testEasyInconsistencyInAssumption

public void testEasyInconsistencyInAssumption()
                                       throws ContradictionException,
                                              TimeoutException

Throws:

ContradictionException

TimeoutException

testInconsistencyInAssumption

public void testInconsistencyInAssumption()
                                   throws ContradictionException,
                                          TimeoutException

Throws:

ContradictionException

TimeoutException

testVoidFormula

public void testVoidFormula()
                     throws ContradictionException,
                            TimeoutException

Throws:

ContradictionException

TimeoutException