edu.wis.jtlv.old_lib.games
Class RkGame

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