|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ModuleVariableException | |
---|---|
edu.wis.jtlv.env | The main package of JTLV, most creational action are usually done through static procedures in object Env. |
edu.wis.jtlv.env.module | All User interface to FDS and SMV modules. |
Uses of ModuleVariableException in edu.wis.jtlv.env |
---|
Methods in edu.wis.jtlv.env that throw ModuleVariableException | |
---|---|
static ModuleBDDField |
Env.newVar(java.lang.String preface,
java.lang.String name)
Create and allocate a new BDD FIELD with 2 values domain. |
static ModuleBDDField |
Env.newVar(java.lang.String preface,
java.lang.String name,
int values_size)
Create and allocate a new BDD FIELD with the given domain size, i.e. |
Uses of ModuleVariableException in edu.wis.jtlv.env.module |
---|
Methods in edu.wis.jtlv.env.module that throw ModuleVariableException | |
---|---|
void |
SMVModule.addVar(java.lang.String new_var)
|
void |
FDSModule.addVar(java.lang.String new_var)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |