|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BDDException | |
---|---|
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 BDDException in edu.wis.jtlv.env |
---|
Methods in edu.wis.jtlv.env that throw BDDException | |
---|---|
static BDD |
Env.prime(BDD unp_bdd)
Given a BDD, returns the same BDD in its prime version of the variables. |
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)
Given a BDD, returns the same BDD in its unprime version of the 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 BDDException in edu.wis.jtlv.env.module |
---|
Methods in edu.wis.jtlv.env.module that throw BDDException | |
---|---|
ModuleBDDField |
ModuleBDDField.prime()
Get the prime version of this field. |
ModuleBDDField |
ModuleBDDField.unprime()
Get the unprime version of this field. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |