org.sat4j
Class BugSAT43

java.lang.Object
  org.sat4j.BugSAT43

public class BugSAT43
extends Object

Constructor Summary

BugSAT43()

Method Summary

void	implicitDeclarationOfVariables()
void	testDeclaredVariables()
void	testNoDeclaredVariables()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT43

public BugSAT43()

Method Detail

testNoDeclaredVariables

public void testNoDeclaredVariables()
                             throws ContradictionException,
                                    TimeoutException

Throws:

ContradictionException

TimeoutException

testDeclaredVariables

public void testDeclaredVariables()
                           throws ContradictionException,
                                  TimeoutException

Throws:

ContradictionException

TimeoutException

implicitDeclarationOfVariables

public void implicitDeclarationOfVariables()
                                    throws ContradictionException,
                                           TimeoutException

Throws:

ContradictionException

TimeoutException