Package com.github.javabdd

Class FindBestOrder.TryThread

java.lang.Object

java.lang.Thread

com.github.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

Constructors

Constructor	Description
TryThread()

Method Summary

Modifier and Type	Method	Description
void	readBDDConfig(BDDFactory bdd)
void	run()

Methods inherited from class java.lang.Thread

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

Methods inherited from class java.lang.Object

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

Constructor Details

TryThread

public TryThread()

Method Details

run

public void run()

Specified by:

run in interface Runnable

Overrides:

run in class Thread

readBDDConfig

public void readBDDConfig(BDDFactory bdd)