Package jdd.zdd

Zero-suppressed Binary Decision Diagrams (aka Z-BDD).

See: Description

Class Summary

Class	Description
ZDD	Base implementation for Zero-Supressed Binary Decision Diagrams (Z-BDDs).
ZDD2	ZDD2 extends ZDD with some additional operations for unate cube set algerba
ZDDCSP	ZDD operations for CSP problems.
ZDDGraph	ZDD with graph algorithms from Coudert's paper.
ZDDNames
ZDDPrinter	Helper class for printing Z-BDD graphs, as text/sets/DOT files.

Package jdd.zdd Description

Zero-suppressed Binary Decision Diagrams (aka Z-BDD). PACKAGE STATE: beta