public class TestGlobalTimeoutForOptimalModelEnumeration extends Object
Constructor and Description |
---|
TestGlobalTimeoutForOptimalModelEnumeration() |
public TestGlobalTimeoutForOptimalModelEnumeration()
public void setUp() throws ContradictionException
ContradictionException
public void testTimeoutOnSeconds() throws TimeoutException
TimeoutException
public void testTimeoutOnConflicts() throws TimeoutException
TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.