edu.wis.jtlv.experimental.games
Class GDRGame

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

All Implemented Interfaces:

Game, TwoPlayersGame, java.lang.Runnable

public class GDRGame
extends JTLVThread
implements TwoPlayersGame

Experimental

Version:

"1.3.2"

Author:

yaniv sa'ar.

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 java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

GDRGame(ModuleWithWeakFairness env, int env_focus, ModuleWithWeakFairness sys)

Method Summary

void	calculate_strategy(int kind) Extracting an implementation from the set of possible strategies with the given priority to the next step.
BDD	cox(BDD to)
BDD	envWinningStates() Getter for the system's winning states.
BDD	firstPlayersWinningStates()
BDD	gameInitials()
ModuleWithWeakFairness	getEnvPlayer() Getter for the environment player.
ModuleWithWeakFairness	getSysPlayer() Getter for the system player.
BDD[]	playersWinningStates()
void	printWinningStrategy() NOT TO BE USED IN THREADS...!!!
void	run()
BDD	secondPlayersWinningStates()
BDD	sysWinningStates() Getter for the environment's winning states.

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

GDRGame

public GDRGame(ModuleWithWeakFairness env,
               int env_focus,
               ModuleWithWeakFairness sys)
        throws GameException

Throws:

GameException

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

cox

public BDD cox(BDD to)

printWinningStrategy

public void printWinningStrategy()

NOT TO BE USED IN THREADS...!!!

Extracting an arbitrary implementation from the set of possible strategies.

Specified by:

printWinningStrategy in interface Game

calculate_strategy

public void calculate_strategy(int kind)

Extracting an implementation from the set of possible strategies with the given priority to the next step.

Possible priorities are:
3 - Z Y X.
7 - Z X Y.
11 - Y Z X.
15 - Y X Z.
19 - X Z Y.
23 - X Y Z.

Parameters:

kind - The priority kind.

getEnvPlayer

public ModuleWithWeakFairness getEnvPlayer()

Getter for the environment player.

Returns:

The environment player.

getSysPlayer

public ModuleWithWeakFairness getSysPlayer()

Getter for the system player.

Returns:

The system player.

sysWinningStates

public BDD sysWinningStates()

Getter for the environment's winning states.

Returns:

The environment's winning states.

envWinningStates

public BDD envWinningStates()

Getter for the system's winning states.

Returns:

The system's winning states.

gameInitials

public BDD gameInitials()

Specified by:

gameInitials in interface Game

playersWinningStates

public BDD[] playersWinningStates()

Specified by:

playersWinningStates in interface Game

firstPlayersWinningStates

public BDD firstPlayersWinningStates()

Specified by:

firstPlayersWinningStates in interface TwoPlayersGame

secondPlayersWinningStates

public BDD secondPlayersWinningStates()

Specified by:

secondPlayersWinningStates in interface TwoPlayersGame