org.sat4j.minisat.core
Class BugReset
java.lang.Object
org.sat4j.minisat.core.BugReset
public class BugReset
- extends Object
- Since:
- 2.2
- Author:
- daniel
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BugReset
public BugReset()
testBugKostya
public void testBugKostya()
throws TimeoutException,
ContradictionException
- Throws:
TimeoutException
ContradictionException
testWithReset
public void testWithReset()
throws TimeoutException,
ContradictionException
- Throws:
TimeoutException
ContradictionException
problemTest
public void problemTest()
throws TimeoutException,
ContradictionException
- Throws:
TimeoutException
ContradictionException
problemTest2
public void problemTest2()
throws TimeoutException,
ContradictionException
- Throws:
TimeoutException
ContradictionException
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.