next up previous index
Next: Converting BDDs to ZDDs Up: User's Manual Previous: Basic ZDD Manipulation

Converting ADDs to BDDs and Vice Versa


Several procedures are provided to convert ADDs to BDDs, according to different criteria. ( Cudd_addBddPattern , Cudd_addBddInterval , and Cudd_addBddThreshold .) The conversion from BDDs to ADDs ( Cudd_BddToAdd ) is based on the simple principle of mapping the logical 0  and 1 on the arithmetic  0 and 1. It is also possible to convert an ADD with integer values (more precisely, floating point numbers with 0 fractional part) to an array of BDDs by repeatedly calling Cudd_addIthBit .

Fabio Somenzi
Tue May 12 18:47:58 MDT 1998