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

Packages that use ModuleWithWeakFairness
edu.wis.jtlv.env.module All User interface to FDS and SMV modules. 
edu.wis.jtlv.lib.games The main user library, with all published 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.games
 

Methods in edu.wis.jtlv.lib.games that return ModuleWithWeakFairness
 ModuleWithWeakFairness GRGame.getEnvPlayer()
           Getter for the environment player.
 ModuleWithWeakFairness GRGame.getSysPlayer()
           Getter for the system player.
 

Constructors in edu.wis.jtlv.lib.games with parameters of type ModuleWithWeakFairness
GRGame(ModuleWithWeakFairness env, ModuleWithWeakFairness sys)