Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
_