Package org.jreliability.bdd.javabdd

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

Class Summary

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.

Enum Summary

Enum	Description
JBDDProviderFactory.Type	The JBDDProviderFactory.Type of real BDD implementation.