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

java.lang.Object
  extended by java.lang.Thread
      extended by edu.wis.jtlv.env.JTLVThread
          extended by edu.wis.jtlv.experimental.threads.mc6.SplitInvThread
All Implemented Interfaces:
java.lang.Runnable
Direct Known Subclasses:
ClientThread, HomeThread

public class SplitInvThread
extends JTLVThread


Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
 
Field Summary
static boolean delta_theta_pref_imp
           
 Channel[] outputChannels
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
SplitInvThread(int _id, int _N, SMVModule _main, boolean _verbose)
           
 
Method Summary
 BDD getNewTheta()
           
 void setOtherThreads(SplitInvThread[] _otherThreads)
           
 void setSemaphores(java.util.concurrent.Semaphore _semMain, java.util.concurrent.Semaphore _semThread)
           
 
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, run, 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

delta_theta_pref_imp

public static boolean delta_theta_pref_imp

outputChannels

public Channel[] outputChannels
Constructor Detail

SplitInvThread

public SplitInvThread(int _id,
                      int _N,
                      SMVModule _main,
                      boolean _verbose)
Method Detail

setOtherThreads

public void setOtherThreads(SplitInvThread[] _otherThreads)

getNewTheta

public BDD getNewTheta()

setSemaphores

public void setSemaphores(java.util.concurrent.Semaphore _semMain,
                          java.util.concurrent.Semaphore _semThread)