edu.wis.jtlv.experimental.games
Class GDRGame

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