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

G

g - Variable in class edu.wis.jtlv.old_lib.games.RkGame.ImplicationEntity

Game - Interface in edu.wis.jtlv.old_lib.games

A general interface for mathematical games.

GameAlgException - Exception in edu.wis.jtlv.lib.games

A general framework for games exception.

GameAlgException(String) - Constructor for exception edu.wis.jtlv.lib.games.GameAlgException

GameAlgI - Interface in edu.wis.jtlv.lib.games

A general interface for mathematical games.

GameAlgTwoPlayersI - Interface in edu.wis.jtlv.lib.games

A general interface for mathematical games between two players.

GameException - Exception in edu.wis.jtlv.old_lib.games

A general framework for games exception.

GameException(String) - Constructor for exception edu.wis.jtlv.old_lib.games.GameException

gameInitials() - Method in interface edu.wis.jtlv.old_lib.games.Game

gameInitials() - Method in class edu.wis.jtlv.old_lib.games.GR1Game

gameInitials() - Method in class edu.wis.jtlv.old_lib.games.RkGame

GeneralizedReactivePair - Class in edu.wis.jtlv.lib.games

A pair of sets of BDD's representing a generalized reactive property where if 'assumption_{1...n}', and 'guarantee_{1...m}' are given, then the specification is "([]<>assumption_1 /\ ...

GeneralizedReactivePair(BDD[], BDD[]) - Constructor for class edu.wis.jtlv.lib.games.GeneralizedReactivePair

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

getAllAssum() - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getAllConjunctTransElements() - Method in class edu.wis.jtlv.env.module.SMVModule

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

getAllGuarantee() - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getAllIniRestrictions() - Method in class edu.wis.jtlv.env.module.FDSModule

getAllIniRestrictions() - Method in class edu.wis.jtlv.env.module.Module

Get all restrictions on the initial states.

getAllIniRestrictions() - 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.

getAllTransRestrictions() - Method in class edu.wis.jtlv.env.module.FDSModule

getAllTransRestrictions() - Method in class edu.wis.jtlv.env.module.Module

Get all restrictions on the transitions.

getAllTransRestrictions() - Method in class edu.wis.jtlv.env.module.SMVModule

getAssum(int) - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getAssum() - Method in class edu.wis.jtlv.lib.games.ReactivePair

getChildren() - Method in class edu.wis.jtlv.env.spec.SpecExp

Get the children specification of this node.

getCopyTime() - Method in class edu.wis.jtlv.env.JTLVThread

Get the accumulated overall time (since last reset) of copy to this BDD factory.

getCurrentThreadManagerIdx() - Static method in class edu.wis.jtlv.env.Env

Get the current running thread, BDD manager index.

getDedicatedBDDManagerIdx() - Method in class edu.wis.jtlv.env.JTLVThread

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.

getDesign() - Method in class edu.wis.jtlv.old_lib.mc.ModelChecker

getDoException() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the main run phase exception.

getDomain() - Method in class edu.wis.jtlv.env.module.ModuleBDDField

Getter for the domain of this field.

getDoResult() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the main run phase results.

getEmptySet() - Static method in class edu.wis.jtlv.env.Env

The empty set of fields.

getEnvPlayer() - Method in class edu.wis.jtlv.old_lib.games.GR1Game

Getter for the environment player.

getEnvPlayer() - Method in class edu.wis.jtlv.old_lib.games.RkGame

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.

getFrom() - Method in class edu.wis.jtlv.env.spec.SpecCTLRange

Get the range start.

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.

getGuarantee(int) - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getGuarantee() - Method in class edu.wis.jtlv.lib.games.ReactivePair

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

getNumOfAssum() - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getNumOfGuarantee() - Method in class edu.wis.jtlv.lib.games.GeneralizedReactivePair

getOperator() - Method in class edu.wis.jtlv.env.spec.SpecExp

The operator representing this node.

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

getPath() - Method in exception edu.wis.jtlv.lib.mc.ModelCheckAlgCounterExampleException

getPath() - Method in exception edu.wis.jtlv.old_lib.mc.CounterExampleException

getPostException() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the post-run phase exception.

getPostResult() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the post-run phase results.

getPreException() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the pre-run phase exception.

getPreResult() - Method in class edu.wis.jtlv.lib.AlgRunnerThread

Getter for the pre-run phase results.

getResultStat() - Method in class edu.wis.jtlv.lib.AlgResultBDD

getResultStat() - Method in class edu.wis.jtlv.lib.AlgResultBoolean

getResultStat() - Method in interface edu.wis.jtlv.lib.AlgResultI

Get the result status.

getResultStat() - Method in class edu.wis.jtlv.lib.AlgResultModule

getResultStat() - Method in class edu.wis.jtlv.lib.AlgResultPath

getResultStat() - Method in class edu.wis.jtlv.lib.AlgResultString

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.

getSpec2BDD(Spec) - Method in class edu.wis.jtlv.lib.mc.tl.LTLTester

Returns a BDD variable representing the given specification in this tester.

getSpec2BDD(Spec) - Method in class edu.wis.jtlv.old_lib.mc.LTLModelChecker.LTLTesterBuilder

getStmt() - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine

Getter for the parsing statement.

getSysPlayer() - Method in class edu.wis.jtlv.old_lib.games.GR1Game

Getter for the system player.

getSysPlayer() - Method in class edu.wis.jtlv.old_lib.games.RkGame

Getter for the system player.

getTester() - Method in class edu.wis.jtlv.lib.mc.tl.LTLTester

Getter for the tester which where constructed from this specification.

getTester() - Method in class edu.wis.jtlv.old_lib.mc.LTLModelChecker.LTLTesterBuilder

getThreadPoolSize() - Static method in class edu.wis.jtlv.env.Env

The number of BDD managers in this environment.

getTo() - Method in class edu.wis.jtlv.env.spec.SpecCTLRange

Get the range end.

getVal() - Method in class edu.wis.jtlv.env.spec.SpecBDD

Getter for the BDD value.

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.

globalPrimeVars() - Static method in class edu.wis.jtlv.env.Env

Get all primed variables in the system.

globalUnprimeVars() - Static method in class edu.wis.jtlv.env.Env

Get all unprimed variables in the system.

globalVarsMinus(BDDVarSet) - Static method in class edu.wis.jtlv.env.Env

Get the set of all variables (including the prime and unprime versions), except the given set of variables.

GR1Game - Class in edu.wis.jtlv.old_lib.games

Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.

GR1Game(ModuleWithWeakFairness, ModuleWithWeakFairness) - Constructor for class edu.wis.jtlv.old_lib.games.GR1Game

GR1GameAlg - Class in edu.wis.jtlv.lib.games

Nir Piterman, Amir Pnueli, and Yaniv Sa’ar.

GR1GameAlg(Module, Module, GeneralizedReactivePair) - Constructor for class edu.wis.jtlv.lib.games.GR1GameAlg

GR1GameMain - Class in <Unnamed>

GR1GameMain() - Constructor for class GR1GameMain