org.sat4j.minisat.core

Class BugThomas

java.lang.Object

org.sat4j.minisat.core.BugThomas

public class BugThomas
extends Object

Constructor Summary

Constructors

Constructor and Description
BugThomas()

Method Summary

Methods

Modifier and Type	Method and Description
void	testBugReport()

Methods inherited from class java.lang.Object

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

Constructor Detail

BugThomas

public BugThomas()

Method Detail

testBugReport

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

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException