|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.lang.Thread
edu.wis.jtlv.env.JTLVThread
edu.wis.jtlv.experimental.games.GDRGame
public class GDRGame
Experimental
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 |
---|
public GDRGame(ModuleWithWeakFairness env, int env_focus, ModuleWithWeakFairness sys) throws GameException
GameException
Method Detail |
---|
public void run()
run
in interface java.lang.Runnable
run
in class java.lang.Thread
public BDD cox(BDD to)
public void printWinningStrategy()
NOT TO BE USED IN THREADS...!!!
Extracting an arbitrary implementation from the set of possible strategies.
printWinningStrategy
in interface Game
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.
kind
- The priority kind.public ModuleWithWeakFairness getEnvPlayer()
Getter for the environment player.
public ModuleWithWeakFairness getSysPlayer()
Getter for the system player.
public BDD sysWinningStates()
Getter for the environment's winning states.
public BDD envWinningStates()
Getter for the system's winning states.
public BDD gameInitials()
gameInitials
in interface Game
public BDD[] playersWinningStates()
playersWinningStates
in interface Game
public BDD firstPlayersWinningStates()
firstPlayersWinningStates
in interface TwoPlayersGame
public BDD secondPlayersWinningStates()
secondPlayersWinningStates
in interface TwoPlayersGame
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |