edu.wis.jtlv.experimental.games
Class OldParallelGRGame.InnerX

java.lang.Object
  extended by java.lang.Thread
      extended by edu.wis.jtlv.env.JTLVThread
          extended by edu.wis.jtlv.experimental.games.OldParallelGRGame.InnerX
All Implemented Interfaces:
java.lang.Runnable
Enclosing class:
OldParallelGRGame

public class OldParallelGRGame.InnerX
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 cy
           
 BDDVarSet env_prime
           
 BDD env_trans
           
 int i
           
 int j
           
 BDD negp
           
 BDD start
           
 BDDVarSet sys_prime
           
 BDD sys_trans
           
 BDD X
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
OldParallelGRGame.InnerX(int j, int i, int cy, BDD Z, BDD start)
           
 
Method Summary
 BDD getResultInBaseForm()
           
 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

j

public int j

i

public int i

cy

public int cy

negp

public BDD negp

X

public BDD X

start

public BDD start

sys_trans

public BDD sys_trans

env_trans

public BDD env_trans

sys_prime

public BDDVarSet sys_prime

env_prime

public BDDVarSet env_prime
Constructor Detail

OldParallelGRGame.InnerX

public OldParallelGRGame.InnerX(int j,
                                int i,
                                int cy,
                                BDD Z,
                                BDD start)
Method Detail

run

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

getResultInBaseForm

public BDD getResultInBaseForm()