org.sat4j.pb

Class BugSat14

java.lang.Object

org.sat4j.pb.BugSat14

public class BugSat14
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSat14()

Method Summary

Methods

Modifier and Type	Method and Description
void	testSatCallAfterExpireTimeout()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugSat14

public BugSat14()

Method Detail

testSatCallAfterExpireTimeout

public void testSatCallAfterExpireTimeout()
                                   throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException