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

Packages that use ModuleBDDDefine

edu.wis.jtlv.env.module

Package dedicated to the user's modules interface.

Uses of ModuleBDDDefine in edu.wis.jtlv.env.module

Methods in edu.wis.jtlv.env.module that return ModuleBDDDefine

ModuleBDDDefine[]	SMVModule.getAllDefines() Getter for all the defines declared in this module.
ModuleBDDDefine	ModuleParamHolder.getDefine() The define this pointer points to, if this is not a define, then null is returned.
ModuleBDDDefine	SMVModule.getDefine(java.lang.String addr, boolean look_hard) Get the define declared in this module with the given name.