org.sat4j.tools

Class NegationDecoratorTest

java.lang.Object

org.sat4j.tools.NegationDecoratorTest

public class NegationDecoratorTest
extends Object

Constructor Summary

Constructors

Constructor and Description
NegationDecoratorTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testNegatingASingleClause()
void	testNegatingTwoClauses()

Methods inherited from class java.lang.Object

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

Constructor Detail

NegationDecoratorTest

public NegationDecoratorTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testNegatingASingleClause

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

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

testNegatingTwoClauses

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

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException