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

java.lang.Object
  extended by java.lang.Thread
      extended by edu.wis.jtlv.env.JTLVThread
          extended by edu.wis.jtlv.experimental.threads.mc6.SplitInvThread
              extended by 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()