edu.wis.jtlv.experimental.threads.mc5
Class MCThreadTrans

java.lang.Object
  extended by java.lang.Thread
      extended by edu.wis.jtlv.env.JTLVThread
          extended by edu.wis.jtlv.experimental.threads.mc5.MCThreadTrans
All Implemented Interfaces:
java.lang.Runnable

public class MCThreadTrans
extends JTLVThread


Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
 
Field Summary
 Channel inputChannelFromHome
           
 Channel[] outputChannels
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
MCThreadTrans(int _id, int _N, SMVModule _main, java.util.concurrent.Semaphore _sync, java.util.concurrent.Semaphore _sem, Channel _inputChannelFromHome)
           
 
Method Summary
 void computeGlobalTrans()
           
 void computeNewThetas()
           
 boolean foundNewThetas()
           
 BDD getGlobalTrans()
           
 BDD getNewThetaConjunct()
           
 void killThread()
           
 BDD newAllSucc(BDD from, BDD trans, BDDVarSet unprimeVars)
           
 BDD newSucc(BDD from, BDD trans, BDDVarSet unprimeVars)
           
 void run()
           
 void setOtherThreads(MCThreadTrans[] _otherThreads)
           
 
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

inputChannelFromHome

public Channel inputChannelFromHome

outputChannels

public Channel[] outputChannels
Constructor Detail

MCThreadTrans

public MCThreadTrans(int _id,
                     int _N,
                     SMVModule _main,
                     java.util.concurrent.Semaphore _sync,
                     java.util.concurrent.Semaphore _sem,
                     Channel _inputChannelFromHome)
Method Detail

run

public void run()
Specified by:
run in interface java.lang.Runnable
Overrides:
run in class java.lang.Thread

computeGlobalTrans

public void computeGlobalTrans()

getGlobalTrans

public BDD getGlobalTrans()

computeNewThetas

public void computeNewThetas()

setOtherThreads

public void setOtherThreads(MCThreadTrans[] _otherThreads)

getNewThetaConjunct

public BDD getNewThetaConjunct()

foundNewThetas

public boolean foundNewThetas()

killThread

public void killThread()

newSucc

public BDD newSucc(BDD from,
                   BDD trans,
                   BDDVarSet unprimeVars)

newAllSucc

public BDD newAllSucc(BDD from,
                      BDD trans,
                      BDDVarSet unprimeVars)