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

java.lang.Object
  java.lang.Thread
      edu.wis.jtlv.env.JTLVThread
          edu.wis.jtlv.experimental.games.ParallelGRGame.InnerX

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

ParallelGRGame

public class ParallelGRGame.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

ParallelGRGame.InnerX(int j, int i, int cy, BDD Z, BDD start)

Method Summary

void	prepare_results()
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

ParallelGRGame.InnerX

public ParallelGRGame.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

prepare_results

public void prepare_results()