|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.wis.jtlv.lib.games | |
|---|---|
| edu.wis.jtlv.lib.games | The library with all games algorithms which where implemented using JTLV. |
| Classes in edu.wis.jtlv.lib.games used by edu.wis.jtlv.lib.games | |
|---|---|
| GameAlgException
A general framework for games exception. |
|
| GameAlgI
A general interface for mathematical games. |
|
| GameAlgTwoPlayersI
A general interface for mathematical games between two players. |
|
| 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 /\ ... |
|
| ReactivePair
A pair of BDD's representing a reactive property where if 'assumption', and 'guarantee' are given, then the specification is "[]<>assumption -> []<>guarantee". |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||