Uses of Class
edu.wis.jtlv.lib.games.GameAlgException

Packages that use GameAlgException

edu.wis.jtlv.lib.games

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

Uses of GameAlgException in edu.wis.jtlv.lib.games

Methods in edu.wis.jtlv.lib.games that throw GameAlgException

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

Constructors in edu.wis.jtlv.lib.games that throw GameAlgException

GR1GameAlg(Module env, Module sys, GeneralizedReactivePair gr_pair)

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