Deprecated List

Global ADD_DIRECT
This macro does not check if memory allocation fails. Use at your own risk.

Global Cudd_ApaIntDivision

The assumption on which the correctness of this function rests is not satisfied by modern-day 64-bit CPUs.

Global Cudd_zddDagSize

This function duplicates Cudd_DagSize and is only retained for compatibility.

 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1