|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |