cudd
3.0.0
The University of Colorado Decision Diagram Package
Main Page
Related Pages
Modules
Data Structures
Files
Deprecated List
Global
ADD_DIRECT
(table, key, value, hash_val, newt)
This macro does not check if memory allocation fails. Use at your own risk.
Global
Cudd_ApaIntDivision
(int digits, DdConstApaNumber dividend, unsigned int divisor, DdApaNumber quotient)
The assumption on which the correctness of this function rests is not satisfied by modern-day 64-bit CPUs.
Global
Cudd_zddDagSize
(
DdNode
*p_node)
This function duplicates Cudd_DagSize and is only retained for compatibility.
Generated on Fri Feb 19 2016 21:44:55 for cudd by
1.8.11