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

java.lang.Object
  java.lang.Thread
      edu.wis.jtlv.env.JTLVThread
          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)