org.sat4j.minisat.core
Class BugReset

java.lang.Object
  extended by org.sat4j.minisat.core.BugReset

public class BugReset
extends Object

Since:
2.2
Author:
daniel

Constructor Summary
BugReset()
           
 
Method Summary
 void problemTest()
           
 void problemTest2()
           
 void testBugKostya()
           
 void testWithReset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BugReset

public BugReset()
Method Detail

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.