edu.wis.jtlv.experimental.threads.mc6
Class HomeThread

java.lang.Object
  java.lang.Thread
      edu.wis.jtlv.env.JTLVThread
          edu.wis.jtlv.experimental.threads.mc6.SplitInvThread
              edu.wis.jtlv.experimental.threads.mc6.HomeThread

All Implemented Interfaces:

java.lang.Runnable

public class HomeThread
extends SplitInvThread

Nested Class Summary

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

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

Field Summary

Fields inherited from class edu.wis.jtlv.experimental.threads.mc6.SplitInvThread

delta_theta_pref_imp, outputChannels

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

HomeThread(int _id, int _N, SMVModule _main, boolean _verbose)

Method Summary

void	computeGlobalTransAndBroadcast()
void	run()

Methods inherited from class edu.wis.jtlv.experimental.threads.mc6.SplitInvThread

getNewTheta, setOtherThreads, setSemaphores

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

Constructor Detail

HomeThread

public HomeThread(int _id,
                  int _N,
                  SMVModule _main,
                  boolean _verbose)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

computeGlobalTransAndBroadcast

public void computeGlobalTransAndBroadcast()