Package edu.wis.jtlv.lib.games

The library with all games algorithms which where implemented using JTLV.

See:
Description

Interface Summary

GameAlgI	A general interface for mathematical games.
GameAlgTwoPlayersI	A general interface for mathematical games between two players.

Class Summary

GeneralizedReactivePair	A pair of sets of BDD's representing a generalized reactive property where if 'assumption_{1...n}', and 'guarantee_{1...m}' are given, then the specification is "([]<>assumption_1 /\ ...
GR1GameAlg	Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.
ReactivePair	A pair of BDD's representing a reactive property where if 'assumption', and 'guarantee' are given, then the specification is "[]<>assumption -> []<>guarantee".
RkGameAlg	Nir Piterman, Amir Pnueli.

Exception Summary

GameAlgException

A general framework for games exception.

Package edu.wis.jtlv.lib.games Description

The library with all games algorithms which where implemented using JTLV.

Version:

"1.3.2"

Author:

yaniv sa'ar.