org.sat4j.minisat.core
Class TestGroupedTimeoutModelEnumeration

java.lang.Object
  org.sat4j.minisat.core.TestGroupedTimeoutModelEnumeration

public class TestGroupedTimeoutModelEnumeration
extends Object

Constructor Summary

TestGroupedTimeoutModelEnumeration()

Method Summary

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 ContradictionException

Throws:

ContradictionException

testTimeoutOnSeconds

public void testTimeoutOnSeconds()
                          throws TimeoutException

Throws:

TimeoutException

testTimeoutOnMilliSeconds

public void testTimeoutOnMilliSeconds()
                               throws TimeoutException

Throws:

TimeoutException

testTimeoutOnConflicts

public void testTimeoutOnConflicts()
                            throws TimeoutException

Throws:

TimeoutException