edu.wis.jtlv.lib.games
Class RkGameAlg

java.lang.Object
  edu.wis.jtlv.lib.games.RkGameAlg

All Implemented Interfaces:

AlgI, GameAlgI

public class RkGameAlg
extends java.lang.Object
implements GameAlgI

Nir Piterman, Amir Pnueli. "Faster Solutions of Rabin and Streett Games". (The streett implementation)

Version:

"1.3.2"

Author:

yaniv sa'ar., nir piterman.

Constructor Summary

RkGameAlg(Module env, Module sys, java.util.Set<ReactivePair> pairs)
A constructor for the R[k] Game and synthesis.

Method Summary

AlgResultI	doAlgorithm() performing the GR 1 game itself, and collecting all memory.
AlgResultI	postAlgorithm() The post algorithm calculate the synthesizing implementation.
AlgResultI	preAlgorithm() Does nothing.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RkGameAlg

public RkGameAlg(Module env,
                 Module sys,
                 java.util.Set<ReactivePair> pairs)
          throws GameAlgException

A constructor for the R[k] Game and synthesis.

Parameters:

env - The environment player.

sys - The system player.

pairs - A set of pair of implications.

Throws:

GameAlgException - When instantiating with null players or set of pairs.

Method Detail

preAlgorithm

public AlgResultI preAlgorithm()
                        throws AlgExceptionI

Does nothing.

Specified by:

preAlgorithm in interface AlgI

Returns:

Nothing.

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.

See Also:

AlgI.preAlgorithm()

doAlgorithm

public AlgResultI doAlgorithm()
                       throws AlgExceptionI

performing the GR 1 game itself, and collecting all memory.

Specified by:

doAlgorithm in interface AlgI

Returns:

The winning state of the system player.

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.

See Also:

AlgI.doAlgorithm()

postAlgorithm

public AlgResultI postAlgorithm()
                         throws AlgExceptionI

The post algorithm calculate the synthesizing implementation.

Extracting an arbitrary implementation from the set of possible strategies.

Specified by:

postAlgorithm in interface AlgI

Returns:

The synthesis of the design (in String format).

Throws:

AlgExceptionI - Wherever the algorithm implementor choose to.