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

A

activateErrorListeners(Exception, String) - Static method in class edu.wis.jtlv.env.Env
Invoke the listeners queue with the given exception.
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.
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.
allocBDD(int) - Static method in class edu.wis.jtlv.env.Env
Allocate a new BDD with the given domain size, i.e.
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) - 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.
attachStmt(StmtDefineOperator) - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine
Attach an expression to the define.

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