|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.wis.jtlv.old_lib.games | |
|---|---|
| edu.wis.jtlv.old_lib.games | The old library with games algorithms which where implemented through JTLV. |
| Classes in edu.wis.jtlv.old_lib.games used by edu.wis.jtlv.old_lib.games | |
|---|---|
| Game
A general interface for mathematical games. |
|
| GameException
A general framework for games exception. |
|
| Memory
This class is intended to serve as the data structure for holding BDDs in the recursive game (Streett game). |
|
| Memory.Permutation
|
|
| RkGame.ImplicationEntity
|
|
| TwoPlayersGame
A general interface for mathematical games. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||