Package org.jreliability.bdd.javabdd

package org.jreliability.bdd.javabdd

Provides the classes for a BDD implementation based on net.sf.javabdd.

Related Packages

Package	Description
org.jreliability.bdd	Provides the classes for the BDDs used for the evaluation.

Classes

Class	Description
JBDD<T>	The JBDD is a BDD based on the JavaBDD standard java implementation.
JBDDProvider<T>	The JBDDProvider used to get JBDD BDDs.
JBDDProviderFactory	The JBDDProviderFactory is a BDDProviderFactory for the JavaBDD library.