edu.wis.jtlv.old_lib.games
Class RkGame

java.lang.Object
  extended by edu.wis.jtlv.old_lib.games.RkGame
All Implemented Interfaces:
Game

public class RkGame
extends java.lang.Object
implements Game

Nir Piterman, Amir Pnueli. "Faster Solutions of Rabin and Streett Games".

Version:
"1.3.2"
Author:
yaniv sa'ar.

Nested Class Summary
static class RkGame.ImplicationEntity
           
 
Constructor Summary
RkGame(Module env, Module sys, java.util.Set<RkGame.ImplicationEntity> pairs)
           
 
Method Summary
 BDD envWinningStates()
           Getter for the system's winning states.
 BDD gameInitials()
           
 Module getEnvPlayer()
           Getter for the environment player.
 Module getSysPlayer()
           Getter for the system player.
 BDD m_Streett(BDD seqng, BDD rest)
           
 BDD[] playersWinningStates()
           
 void printWinningStrategy()
           
 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

RkGame

public RkGame(Module env,
              Module sys,
              java.util.Set<RkGame.ImplicationEntity> pairs)
       throws GameException
Throws:
GameException
Method Detail

m_Streett

public BDD m_Streett(BDD seqng,
                     BDD rest)

printWinningStrategy

public void printWinningStrategy()
Specified by:
printWinningStrategy in interface Game

getEnvPlayer

public Module getEnvPlayer()

Getter for the environment player.

Returns:
The environment player.

getSysPlayer

public Module 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