org.sat4j

Class BugSAT43

java.lang.Object

org.sat4j.BugSAT43

public class BugSAT43
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT43()

Method Summary

Methods

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testDeclaredVariables

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

implicitDeclarationOfVariables

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException