org.sat4j.minisat.core
Class BugThomas

java.lang.Object
  org.sat4j.minisat.core.BugThomas

public class BugThomas
extends Object

Constructor Summary

BugThomas()

Method Summary

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 ContradictionException,
                          TimeoutException

Throws:

ContradictionException

TimeoutException