org.sat4j.pb
Class BugSAT22

java.lang.Object
  org.sat4j.pb.BugSAT22

public class BugSAT22
extends Object

Nested Class Summary

class

BugSAT22.Named

Constructor Summary

BugSAT22()

Method Summary

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