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

Packages that use SMVModule
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 SMVModule in edu.wis.jtlv.env
 

Methods in edu.wis.jtlv.env with parameters of type SMVModule
 boolean Env.JTLVBDDToString.domain_has_all_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String[] values)
           
 boolean Env.JTLVBDDToString.domain_has_all_module_values(SMVModule m, int dom, java.lang.String[] values)
           
 boolean Env.JTLVBDDToString.domain_has_module_value(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String value)
           
 boolean Env.JTLVBDDToString.domain_has_module_value(SMVModule m, int dom, java.lang.String value)
           
 java.math.BigInteger Env.JTLVBDDToString.get_module_value_loc(SMVModule m, net.sf.javabdd.BDDDomain dom, int range_value)
           
 java.math.BigInteger Env.JTLVBDDToString.get_module_value_loc(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String value)
           
 java.math.BigInteger Env.JTLVBDDToString.get_module_value_loc(SMVModule m, int dom, int range_value)
           
 java.math.BigInteger Env.JTLVBDDToString.get_module_value_loc(SMVModule m, int dom, java.lang.String value)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, int range_start, int range_size)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, net.sf.javabdd.BDDDomain dom, java.lang.String[] values)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, int dom, int range_start, int range_size)
           
 void Env.JTLVBDDToString.register_domain_module_values(SMVModule m, int dom, java.lang.String[] values)
           
 

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

Methods in edu.wis.jtlv.env.module that return SMVModule
 SMVModule[] SMVModule.getAllInstances()
           Getter for all instances declared in this module.
 SMVModule[] SMVModule.getAllInstances(SMVModule.SyncStatus status)
           Getter for all synchronous or asynchronous instances declared in this module.
 SMVModule ModuleParamHolder.getForInstance()
           Getter for the module to which this parameter belongs to.
 SMVModule SMVModule.getHolder()
           Getter for the module instance holds this instance.
 SMVModule ModuleParamHolder.getInstance()
           The module this pointer points to, if this is not a module, then null is returned.
 SMVModule SMVModule.getInstance(java.lang.String addr, boolean look_hard)
           Get the instances with the given name.
 SMVModule[] ModuleParamHolder.getInstanceArray()
           The module array this pointer points to, if this is not a module array, then null is returned.
 SMVModule[] SMVModule.getInstanceArray(java.lang.String addr, boolean look_hard)
           Get the array of instances with the given name.
 

Methods in edu.wis.jtlv.env.module with parameters of type SMVModule
 void SMVModule.addInstanceVar(SMVModule inner, boolean is_sync)
           Add a module instance as a variable to this module.
 

Constructors in edu.wis.jtlv.env.module with parameters of type SMVModule
ModuleParamHolder(SMVModule a_for_instance, java.lang.String a_local_name, java.lang.String an_init_string)
           The constructor takes as arguments the instance to which he is parameter to, its local name in that instance, and its instantiating (unparsed) string.