The ddi package

Portability interface with the Decision Diagram package.

By Gianpiero Cabodi and Stefano Quer


The DDI package provides functions to manipulate the following objects: It can be viewed both as a portability interface, concentrating all dependancies from the BDD package, and as an upper level, manipulating the previously listed BDD based data types. A particular feature, distinguishing this interface from other ones, is the support for partitioned (conjunctive as well as disjunctive) functions. This implementation is written on top of the CUDD package.
Last updated on 990617 11h53