Package de.uni_due.inf.ti.raven.data.bdd

Classes to create, represent and manipulate binary decision diagrams (BDDs).

See: Description

Class Summary

Class	Description
BuddyStatsPrinter	This class offers methods to print statistics about BuDDy to the logger provided by Raven.
RavenBDD	This class implements a BDD abstraction layer for the BDD implementation.
RavenBDDDomain	This class implements a BDD abstraction layer for the BDD Domain implementation.
RavenBDDFactory	This class implements a BDD abstraction layer for the BDD Factory implementation.
RavenBDDPairing	This class implements a BDD abstraction layer for the BDD Pairing implementation.

Enum Summary

Enum	Description
RavenBDD.Type	Enumeration of the different types of implemented BDDs.
RavenBDDFactory.BDDOperator	Enumeration of the different BDD operations.

Package de.uni_due.inf.ti.raven.data.bdd Description

Classes to create, represent and manipulate binary decision diagrams (BDDs). The classes in this package implement a BDD abstraction layer. The concrete BDD implementation of the used the BDD library are hidden from Raven through these classes so the used BDD library can be changed easily without the need of changing the "abstraction classes" used in Raven.