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

Packages that use ModuleParamHolder
edu.wis.jtlv.env.module All User interface to FDS and SMV modules. 
 

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

Methods in edu.wis.jtlv.env.module that return ModuleParamHolder
 ModuleParamHolder[] SMVModule.getAllParams()
           Getter for all declared parameters in this module signature.
 ModuleParamHolder SMVModule.getParam(int at_index)
           Getter for the declared parameter and the given index, in this module signature.