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

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.ClientThread
All Implemented Interfaces:
java.lang.Runnable

public class ClientThread
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
ClientThread(int _id, int _N, SMVModule _main, boolean _verbose)
           
 
Method Summary
 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

ClientThread

public ClientThread(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