edu.wis.jtlv.experimental.threads.mc1
Class MultiThreadTCMain.Runner

java.lang.Object
  java.lang.Thread
      edu.wis.jtlv.env.JTLVThread
          edu.wis.jtlv.experimental.threads.mc1.MultiThreadTCMain.Runner

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

MultiThreadTCMain

public class MultiThreadTCMain.Runner
extends JTLVThread

Nested Class Summary

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

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

BDD[]	lb
BDDVarSet	var

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

MultiThreadTCMain.Runner(BDD[] l, BDDVarSet v)

Method Summary

void

run()

Methods inherited from class edu.wis.jtlv.env.JTLVThread

adjustBDDToBase, adjustBDDToBase, adjustBDDToManager, adjustBDDToManager, adjustBDDVarSetToBase, adjustBDDVarSetToBase, adjustBDDVarSetToManager, adjustBDDVarSetToManager, getCopyTime, getDedicatedBDDManagerIdx, isMonitoringCopyTime, resetCopyTime

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

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

Field Detail

lb

public BDD[] lb

var

public BDDVarSet var

Constructor Detail

MultiThreadTCMain.Runner

public MultiThreadTCMain.Runner(BDD[] l,
                                BDDVarSet v)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread