edu.wis.jtlv.experimental.threads.mc3
Class ParallelMain_german

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

public class ParallelMain_german
extends JTLVThread


Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
 
Field Summary
 int lastProcPerThread
           
 SMVModule main
           
 int N
           
 int procPerThread
           
 int threadNum
           
 boolean verbose
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
ParallelMain_german(SMVModule _main, int _N, int _threadNum, int _procPerThread, int _lastProcPerThread, boolean _verbose)
           
 
Method Summary
 BDD newAllSucc(BDD from, BDD trans, BDDVarSet unprimeVars)
           
 BDD newSucc(BDD from, BDD trans, BDDVarSet unprimeVars)
           
 void run()
           
 
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

main

public SMVModule main

N

public int N

threadNum

public int threadNum

procPerThread

public int procPerThread

lastProcPerThread

public int lastProcPerThread

verbose

public boolean verbose
Constructor Detail

ParallelMain_german

public ParallelMain_german(SMVModule _main,
                           int _N,
                           int _threadNum,
                           int _procPerThread,
                           int _lastProcPerThread,
                           boolean _verbose)
Method Detail

newSucc

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

newAllSucc

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

run

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