Package edu.wis.jtlv.old_lib.games

The old library with games algorithms which where implemented through JTLV.

See:
Description

Interface Summary

Game	A general interface for mathematical games.
TwoPlayersGame	A general interface for mathematical games.

Class Summary

GR1Game	Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.
Memory	This class is intended to serve as the data structure for holding BDDs in the recursive game (Streett game).
Memory.Permutation
MyPair
RkGame	Nir Piterman, Amir Pnueli.
RkGame.ImplicationEntity

Exception Summary

GameException

A general framework for games exception.

Package edu.wis.jtlv.old_lib.games Description

The old library with games algorithms which where implemented through JTLV.

Version:

"1.3.2"

Author:

yaniv sa'ar.