org.sat4j.pb

Class BugSAT22

java.lang.Object

org.sat4j.pb.BugSAT22

public class BugSAT22
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	BugSAT22.Named

Constructor Summary

Constructors

Constructor and Description
BugSAT22()

Method Summary

Methods

Modifier and Type	Method and Description
void	testSimpleResolverUnitFirst()
void	testSimpleResolverUnitLast()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BugSAT22

public BugSAT22()

Method Detail

testSimpleResolverUnitFirst

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

testSimpleResolverUnitLast

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException