Uses of Class
edu.wis.jtlv.env.module.ModuleWithWeakFairness

Packages that use ModuleWithWeakFairness

edu.wis.jtlv.env.module	Package dedicated to the user's modules interface.
edu.wis.jtlv.lib.mc	The library containing all implemented model checking algorithms.
edu.wis.jtlv.old_lib.games	The old library with games algorithms which where implemented through JTLV.

Uses of ModuleWithWeakFairness in edu.wis.jtlv.env.module

Subclasses of ModuleWithWeakFairness in edu.wis.jtlv.env.module

class	FDSModule An object which represent an FDS module.
class	ModuleWithStrongFairness A general interface for module with strong fairness (compassion). I.e.
class	SMVModule An object which represent an SMV module.

Uses of ModuleWithWeakFairness in edu.wis.jtlv.lib.mc

Constructors in edu.wis.jtlv.lib.mc with parameters of type ModuleWithWeakFairness

SimpleReactAlg(ModuleWithWeakFairness design, Spec p, Spec[] q, Spec r)
A constructor for the react algorithm.

Uses of ModuleWithWeakFairness in edu.wis.jtlv.old_lib.games

Methods in edu.wis.jtlv.old_lib.games that return ModuleWithWeakFairness

ModuleWithWeakFairness	GR1Game.getEnvPlayer() Getter for the environment player.
ModuleWithWeakFairness	GR1Game.getSysPlayer() Getter for the system player.

Constructors in edu.wis.jtlv.old_lib.games with parameters of type ModuleWithWeakFairness

GR1Game(ModuleWithWeakFairness env, ModuleWithWeakFairness sys)