org.sat4j.minisat.core

Class TestGroupedTimeoutModelEnumeration

java.lang.Object

org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

public class TestGroupedTimeoutModelEnumeration
extends Object

Constructor Summary

Constructors

Constructor and Description
TestGroupedTimeoutModelEnumeration()

Method Summary

Methods

Modifier and Type	Method and Description
void	tearDDown()
void	testTimeoutOnConflicts()
void	testTimeoutOnMilliSeconds()
void	testTimeoutOnSeconds()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestGroupedTimeoutModelEnumeration

public TestGroupedTimeoutModelEnumeration()

Method Detail

tearDDown

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

Throws:

org.sat4j.specs.ContradictionException

testTimeoutOnSeconds

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

Throws:

org.sat4j.specs.TimeoutException

testTimeoutOnMilliSeconds

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

Throws:

org.sat4j.specs.TimeoutException

testTimeoutOnConflicts

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

Throws:

org.sat4j.specs.TimeoutException