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.