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 .