Uses of Class
net.sf.javabdd.BDDException

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.