A B C D E F G H I J L M N O P Q R S T U V _

G

Game - Interface in edu.wis.jtlv.lib.games
A general interface for mathematical games.
GameException - Exception in edu.wis.jtlv.lib.games
A general framework for games exception.
GameException(String) - Constructor for exception edu.wis.jtlv.lib.games.GameException
 
get_all_test_files() - Static method in class FileConstructionTest
 
get_module_value_loc(SMVModule, BDDDomain, String) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString
 
get_module_value_loc(SMVModule, int, String) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString
 
get_module_value_loc(SMVModule, BDDDomain, int) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString
 
get_module_value_loc(SMVModule, int, int) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString
 
getAllDefines() - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for all the defines declared in this module.
getAllFields() - Method in class edu.wis.jtlv.env.module.FDSModule
 
getAllFields() - Method in class edu.wis.jtlv.env.module.Module
Getter for all fields declared in this module.
getAllFields() - Method in class edu.wis.jtlv.env.module.SMVModule
 
getAllInstances() - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for all instances declared in this module.
getAllInstances(SMVModule.SyncStatus) - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for all synchronous or asynchronous instances declared in this module.
getAllModules() - Static method in class edu.wis.jtlv.env.Env
Get all module objects currently loaded into the environment.
getAllParams() - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for all declared parameters in this module signature.
getDefine() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
The define this pointer points to, if this is not a define, then null is returned.
getDefine(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Get the define declared in this module with the given name.
getDomain() - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Getter for the domain of this field.
getEmptySet() - Static method in class edu.wis.jtlv.env.Env
The empty set of fields.
getEnvPlayer() - Method in class edu.wis.jtlv.lib.games.GRGame
Getter for the environment player.
getFactoryName() - Static method in class edu.wis.jtlv.env.Env
The factory package which is currently used by the environment to allocate new BDD fields.
getForInstance() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Getter for the module to which this parameter belongs to.
getFullInstName() - Method in class edu.wis.jtlv.env.module.FDSModule
 
getFullInstName() - Method in class edu.wis.jtlv.env.module.Module
Getter for the instance string.
getFullInstName() - Method in class edu.wis.jtlv.env.module.SMVModule
 
getFullInstNameWithParams() - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for the full instance name with the parameters.
getHolder() - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for the module instance holds this instance.
getInitString() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Getter for instantiating string.
getInstance() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
The module this pointer points to, if this is not a module, then null is returned.
getInstance(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Get the instances with the given name.
getInstanceArray() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
The module array this pointer points to, if this is not a module array, then null is returned.
getInstanceArray(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Get the array of instances with the given name.
getLocalName() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Getter for the local name.
getModule(String) - Static method in class edu.wis.jtlv.env.Env
Get a module instance by its associated full path string.
getModuleNames() - Static method in class edu.wis.jtlv.env.Env
The set of all names which are associated with the modules loaded to the environment.
getModuleNum() - Static method in class edu.wis.jtlv.env.Env
Get the number of modules currently loaded into the environment.
getName() - Method in class edu.wis.jtlv.env.module.FDSModule
 
getName() - Method in class edu.wis.jtlv.env.module.Module
Getter for the declared field name which holds this instance.
getName() - Method in class edu.wis.jtlv.env.module.ModuleEntity
Get this field's name.
getName() - Method in class edu.wis.jtlv.env.module.SMVModule
 
getOtherDomain() - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Getter for the domain of the other corresponding field.
getParam(int) - Method in class edu.wis.jtlv.env.module.SMVModule
Getter for the declared parameter and the given index, in this module signature.
getPath() - Method in class edu.wis.jtlv.env.module.FDSModule
 
getPath() - Method in class edu.wis.jtlv.env.module.Module
The path leading to this module.
getPath() - Method in class edu.wis.jtlv.env.module.ModuleEntity
Get this field's path.
getPath() - Method in class edu.wis.jtlv.env.module.SMVModule
 
getSimpleArrayName() - Method in class edu.wis.jtlv.env.module.ModuleEntity
In case this is an array name for field, returns the simple name without the braces '['']'.
If this is not an array name, then an empty string "", will be returned.
getStmt() - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine
Getter for the parsing statement.
getSysPlayer() - Method in class edu.wis.jtlv.lib.games.GRGame
Getter for the system player.
getValue(String) - Method in class edu.wis.jtlv.env.module.SMVModule
Get A BDD for the disjunct of all variables set to the given value.
getVar(String, String) - Static method in class edu.wis.jtlv.env.Env
Search and retrieve the BDD field by the given path and field name.
getVar() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
The variable this pointer points to, if this is not a variable, then null is returned.
getVar(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Get the variable with the given name.
getVarArray() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
The variable array this pointer points to, if this is not a variable array, then null is returned.
getVarArray(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Get the array of variables with the given name.
GRGame - Class in edu.wis.jtlv.lib.games
Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.
GRGame(ModuleWithWeakFairness, ModuleWithWeakFairness) - Constructor for class edu.wis.jtlv.lib.games.GRGame
 
GRGamesMain - Class in <Unnamed>
 
GRGamesMain() - Constructor for class GRGamesMain
 

A B C D E F G H I J L M N O P Q R S T U V _