org.sat4j.minisat.core

Class BugReset

java.lang.Object

org.sat4j.minisat.core.BugReset

public class BugReset
extends Object

Since:

2.2

Author:

daniel

Constructor Summary

Constructors

Constructor and Description
BugReset()

Method Summary

Methods

Modifier and Type	Method and Description
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 org.sat4j.specs.TimeoutException,
                          org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

testWithReset

public void testWithReset()
                   throws org.sat4j.specs.TimeoutException,
                          org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

problemTest

public void problemTest()
                 throws org.sat4j.specs.TimeoutException,
                        org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException

problemTest2

public void problemTest2()
                  throws org.sat4j.specs.TimeoutException,
                         org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.TimeoutException

org.sat4j.specs.ContradictionException