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	Package dedicated to the user's modules interface.

Uses of ModuleBDDField in edu.wis.jtlv.env

Methods in edu.wis.jtlv.env that return ModuleBDDField

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 BDD	Env.prime(BDD unp_bdd, ModuleBDDField[] couples) Given a BDD, returns the same BDD with the prime version of the given array of fields.
static BDD	Env.unprime(BDD p_bdd, ModuleBDDField[] couples) Given a BDD, returns the same BDD with the unprime version of the given array of fields.

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

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

ModuleBDDField	SMVModule.addVar(java.lang.String new_var)
ModuleBDDField	FDSModule.addVar(java.lang.String new_var)
abstract ModuleBDDField	Module.addVar(java.lang.String new_var) Add a variable to the module.
ModuleBDDField	SMVModule.addVar(java.lang.String new_var, int range_start, int range_end) Add a range variable to this module.
ModuleBDDField	SMVModule.addVar(java.lang.String new_var, java.lang.String[] val_names) Add a set of values variable to this module.
ModuleBDDField[]	SMVModule.getAllFields()
ModuleBDDField[]	FDSModule.getAllFields()
abstract ModuleBDDField[]	Module.getAllFields() Getter for all fields declared in this module.
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.