Uses of Class
edu.wis.jtlv.env.module.ModuleVariableException

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	Package dedicated to the user's modules interface.

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

ModuleBDDField	SMVModule.addVar(java.lang.String new_var)
ModuleBDDField	FDSModule.addVar(java.lang.String new_var)