org.sat4j

Class BugSAT79

java.lang.Object

org.sat4j.BugSAT79

public class BugSAT79
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT79()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testSuccessiveCallsInGlobalTimeout()
void	testSuccessiveCallsInLocalTimeout()
void	testSuccessiveCallsWithDifferentSolvers()
void	testSuccessiveCallsWithDifferentSolversInsideDecorators()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSAT79

public BugSAT79()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testSuccessiveCallsInGlobalTimeout

public void testSuccessiveCallsInGlobalTimeout()
                                        throws org.sat4j.specs.TimeoutException,
                                               InterruptedException

Throws:

org.sat4j.specs.TimeoutException

InterruptedException

testSuccessiveCallsInLocalTimeout

public void testSuccessiveCallsInLocalTimeout()
                                       throws org.sat4j.specs.TimeoutException,
                                              InterruptedException

Throws:

org.sat4j.specs.TimeoutException

InterruptedException

testSuccessiveCallsWithDifferentSolvers

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

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

InterruptedException

testSuccessiveCallsWithDifferentSolversInsideDecorators

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

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

InterruptedException