|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.wis.jtlv.lib.games.GRGame
public class GRGame
Nir Piterman, Amir Pnueli, and Yaniv Sa’ar. Synthesis of Reactive(1) Designs. In VMCAI, pages 364–380, Charleston, SC, Jenuary 2006.
To execute, create an object with two Modules, one for the system and the
other for the environment, and then just extract the strategy through
calculate_strategy()
.
Constructor Summary | |
---|---|
GRGame(ModuleWithWeakFairness env,
ModuleWithWeakFairness sys)
|
Method Summary | |
---|---|
void |
calculate_strategy()
Extracting an arbitrary implementation from the set of possible strategies. |
void |
calculate_strategy(int kind)
Extracting an implementation from the set of possible strategies with the given priority to the next step. |
net.sf.javabdd.BDD |
envWinningStates()
Getter for the system's winning states. |
ModuleWithWeakFairness |
getEnvPlayer()
Getter for the environment player. |
ModuleWithWeakFairness |
getSysPlayer()
Getter for the system player. |
net.sf.javabdd.BDD |
sysWinningStates()
Getter for the environment's winning states. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public GRGame(ModuleWithWeakFairness env, ModuleWithWeakFairness sys) throws GameException
GameException
Method Detail |
---|
public void calculate_strategy()
Extracting an arbitrary implementation from the set of possible strategies.
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 net.sf.javabdd.BDD sysWinningStates()
Getter for the environment's winning states.
public net.sf.javabdd.BDD envWinningStates()
Getter for the system's winning states.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |