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

I

initial() - Method in class edu.wis.jtlv.env.module.FDSModule
 
initial() - Method in class edu.wis.jtlv.env.module.Module
Getter for the initial states in the module.
initial() - Method in class edu.wis.jtlv.env.module.SMVModule
 
isDefine() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Check if this pointer points to define.
isInitiated() - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine
Check whether this define was attached with an expression.
isInstance() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Check if this pointer points to module.
isInstanceArray() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Check if this pointer points to module array.
isPrime() - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Check whether this is a prime version of the field representation.
isVar() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Check if this pointer points to variable.
isVarArray() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder
Check if this pointer points to variable array.

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