org.sat4j.minisat.core

Class BugTrivialAssumption

java.lang.Object

org.sat4j.minisat.core.BugTrivialAssumption

public class BugTrivialAssumption
extends Object

Constructor Summary

Constructors

Constructor and Description
BugTrivialAssumption()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.ContradictionException,
                                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testUnitClauseInFormulaSat

public void testUnitClauseInFormulaSat()
                                throws org.sat4j.specs.ContradictionException,
                                       org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testBinaryClauseInFormula

public void testBinaryClauseInFormula()
                               throws org.sat4j.specs.ContradictionException,
                                      org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testEasyInconsistencyInAssumption

public void testEasyInconsistencyInAssumption()
                                       throws org.sat4j.specs.ContradictionException,
                                              org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testInconsistencyInAssumption

public void testInconsistencyInAssumption()
                                   throws org.sat4j.specs.ContradictionException,
                                          org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testVoidFormula

public void testVoidFormula()
                     throws org.sat4j.specs.ContradictionException,
                            org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException