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

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