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 _

I

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

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

Construct a BDD representing the idle transition of this module.

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

increase(int) - Method in class edu.wis.jtlv.old_lib.games.Memory.Permutation

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

initModulesWithoutRunningVar() - Static method in class edu.wis.jtlv.env.module.SMVModule

A static option which does not add "running" variable upon a creation of a new instance.

initModulesWithRunningVar() - Static method in class edu.wis.jtlv.env.module.SMVModule

For NuSMV format compatibility, a static option which adds a "running" variable upon a creation of a new instance.

insert(RkGame.ImplicationEntity, int, int, BDD, Memory) - Method in class edu.wis.jtlv.old_lib.games.Memory

isBinary() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a binary operator.

isCTLOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a CTL operator.

isCTLSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a CTL specification.

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

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

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

isCTLStarSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a CTL* specification.

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

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

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

isDefine() - Method in class edu.wis.jtlv.env.module.ModuleParamHolder

Check if this pointer points to define.

isFutureLTLOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a Future LTL operator.

isFutureLTLSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a Future LTL specification.

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

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

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

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.

isLTLOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a LTL operator.

isLTLSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a LTL specification.

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

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

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

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

isPastLTLOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a Past LTL operator.

isPastLTLSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a Past LTL specification.

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

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

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

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

Check whether this is a prime version of the field representation.

isProp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a first order operator.

isPropSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a first order specification.

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

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

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

isRealTimeCTLOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a Real Time CTL operator.

isRealTimeCTLSpec() - Method in interface edu.wis.jtlv.env.spec.Spec

Is this a Real Time CTL specification.

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

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

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

isTemporalOp() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a Temporal operator.

isTriplet() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this a triplet operator.

isUnary() - Method in enum edu.wis.jtlv.env.spec.Operator

Is this an unary operator.

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.