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

A

addCompassion(BDD, BDD) - Method in class edu.wis.jtlv.env.module.ModuleWithStrongFairness

Add strong (compassion) winning condition to the module.

addCompassion(BDD, BDD) - Method in class edu.wis.jtlv.env.module.SMVModule

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

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

Conjunct the initial condition with the given condition.

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

addInstanceVar(SMVModule, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Add a module instance as a variable to this module.

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

addJustice(BDD) - Method in class edu.wis.jtlv.env.module.ModuleWithWeakFairness

Add weak (justice) winning condition to the module.

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

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

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

Add a variable to the module.

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

addVar(String, String[]) - Method in class edu.wis.jtlv.env.module.SMVModule

Add a set of values variable to this module.

addVar(String, int, int) - Method in class edu.wis.jtlv.env.module.SMVModule

Add a range variable to this module.

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

Copy the BDD from this manager to the base manager.

adjustBDDToBase(BDD[]) - Method in class edu.wis.jtlv.env.JTLVThread

Copy an array of BDDs from this manager to the base manager.

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

Copy the BDD to the manager assigned to this thread.

adjustBDDToManager(BDD[]) - Method in class edu.wis.jtlv.env.JTLVThread

Copy an array of BDDs to the manager assigned to this thread.

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

Copy the BDDVarSet from this manager to the base manager.

adjustBDDVarSetToBase(BDDVarSet[]) - Method in class edu.wis.jtlv.env.JTLVThread

Copy an array of BDDVarSets from this manager to the base manager.

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

Copy the BDDVarSet to the manager assigned to this thread.

adjustBDDVarSetToManager(BDDVarSet[]) - Method in class edu.wis.jtlv.env.JTLVThread

Copy an array of BDDVarSets to the manager assigned to this thread.

advance(T) - Method in class edu.wis.jtlv.lib.FixPoint

given the element to fix-point on, determine whether it has changed since the last time a check was performed.

all_error_listeners - Static variable in class edu.wis.jtlv.env.Env

A list of all error listeners which are invoked on any kind of error in the system.

allPred(BDD, BDD) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, this procedure return all states which can lead in any number of steps to these states.

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

Given a set of state, this procedure return all states which can lead in any number of module steps to these states.

allSucc(BDD, BDD) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, this procedure return all states which can be reached in a any number of steps from these states.

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

This procedure return all states which the module can reach in any number of steps from given a set of state.

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

A procedure called from within JTLVThread which allocates and assign a manager to the given thread.

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

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

Attach an expression to the define.