org.sat4j.pb

Class TestGlobalTimeoutForOptimalModelEnumeration

java.lang.Object

org.sat4j.pb.TestGlobalTimeoutForOptimalModelEnumeration

public class TestGlobalTimeoutForOptimalModelEnumeration
extends Object

Constructor Summary

Constructors

Constructor and Description
TestGlobalTimeoutForOptimalModelEnumeration()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testTimeoutOnConflicts()
void	testTimeoutOnSeconds()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestGlobalTimeoutForOptimalModelEnumeration

public TestGlobalTimeoutForOptimalModelEnumeration()

Method Detail

setUp

public void setUp()
           throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

testTimeoutOnSeconds

public void testTimeoutOnSeconds()
                          throws org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.TimeoutException

testTimeoutOnConflicts

public void testTimeoutOnConflicts()
                            throws org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.TimeoutException