net.sf.javabdd
Class FindBestOrder.TryThread

java.lang.Object
  java.lang.Thread
      net.sf.javabdd.FindBestOrder.TryThread

All Implemented Interfaces:

Runnable

Enclosing class:

FindBestOrder

public class FindBestOrder.TryThread
extends Thread

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

FindBestOrder.TryThread()

Method Summary

void	readBDDConfig(BDDFactory bdd)
void	run()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

FindBestOrder.TryThread

public FindBestOrder.TryThread()

Method Detail

run

public void run()

Specified by:

run in interface Runnable

Overrides:

run in class Thread

readBDDConfig

public void readBDDConfig(BDDFactory bdd)