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

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

Methods in edu.wis.jtlv.env that return ModuleBDDField
static ModuleBDDField Env.___getVarForDomain(net.sf.javabdd.BDDDomain dom)
          Deprecated. INTERNAL PROCEDURE - will be encapsulated and removed from the external API in the following few releases.
static ModuleBDDField Env.getVar(java.lang.String preface, java.lang.String name)
           Search and retrieve the BDD field by the given path and field name.
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.
 

Methods in edu.wis.jtlv.env with parameters of type ModuleBDDField
static net.sf.javabdd.BDD Env.prime(net.sf.javabdd.BDD unp_bdd, ModuleBDDField[] couples)
           Given a BDD, returns the exact same BDD with the primed version of the given fields array.
static net.sf.javabdd.BDD Env.unprime(net.sf.javabdd.BDD p_bdd, ModuleBDDField[] couples)
           Given a BDD, returns the exact same BDD with the unprimed version of the given fields array.
 

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

Methods in edu.wis.jtlv.env.module that return ModuleBDDField
 ModuleBDDField[] SMVModule.getAllFields()
           
abstract  ModuleBDDField[] Module.getAllFields()
           Getter for all fields declared in this module.
 ModuleBDDField[] FDSModule.getAllFields()
           
 ModuleBDDField ModuleParamHolder.getVar()
           The variable this pointer points to, if this is not a variable, then null is returned.
 ModuleBDDField SMVModule.getVar(java.lang.String addr, boolean look_hard)
           Get the variable with the given name.
 ModuleBDDField[] ModuleParamHolder.getVarArray()
           The variable array this pointer points to, if this is not a variable array, then null is returned.
 ModuleBDDField[] SMVModule.getVarArray(java.lang.String addr, boolean look_hard)
           Get the array of variables with the given name.
 ModuleBDDField ModuleBDDField.other()
           Return the other version of the field, regardless of which instance this is.
 ModuleBDDField ModuleBDDField.prime()
           Get the prime version of this field.
 ModuleBDDField ModuleBDDField.unprime()
           Get the unprime version of this field.
 

Methods in edu.wis.jtlv.env.module with parameters of type ModuleBDDField
 boolean ModuleBDDField.comparable(ModuleBDDField other)
           Check whether this object's domain is comparable to the give object domain.