- d -

• d_code : deflate.h
• D_CODES : deflate.h
• D_JOINS_D_HOR_BOT : extraBddKmap.c
• D_JOINS_D_HOR_TOP : extraBddKmap.c
• D_JOINS_D_VER_LEFT : extraBddKmap.c
• D_JOINS_D_VER_RIGHT : extraBddKmap.c
• D_type : espresso.h
• DABC : cuddWindow.c
• DACB : cuddWindow.c
• Dad : deflate.h
• Dar_CutForEachLeaf : darInt.h
• Dar_ObjForEachCut : darInt.h
• Dar_ObjForEachCutAll : darInt.h
• DASH : espresso.h
• DAU_DSD_MAX_VAR : dauGia.c
• DAU_MAX_STR : dau.h
• DAU_MAX_VAR : dau.h
• DAU_MAX_WORD : dau.h
• DBAC : cuddWindow.c
• DBCA : cuddWindow.c
• DBL_MAX_EXP : cuddApprox.c , cuddSubsetHB.c
• DCAB : cuddWindow.c
• DCBA : cuddWindow.c
• Dch_ClassForEachNode : dchClass.c
• Dch_ManForEachClass : dchClass.c
• DD_ADD_BDD_DO_INTERVAL_TAG : cuddInt.h
• DD_ADD_COMPOSE_RECUR_TAG : cuddInt.h
• DD_ADD_EVAL_CONST_TAG : cuddInt.h
• DD_ADD_ITE_CONSTANT_TAG : cuddInt.h
• DD_ADD_ITE_TAG : cuddInt.h
• DD_ADD_NON_SIM_COMPOSE_TAG : cuddInt.h
• DD_ADD_OUT_SUM_TAG : cuddInt.h
• DD_ADD_TRIANGLE_TAG : cuddInt.h
• DD_APA_BASE : cudd.h
• DD_APA_BITS : cudd.h
• DD_APA_HEXPRINT : cudd.h
• DD_APA_MASK : cudd.h
• DD_BDD_AND_ABSTRACT_TAG : cuddInt.h
• DD_BDD_CLIPPING_AND_ABSTRACT_DOWN_TAG : cuddInt.h
• DD_BDD_CLIPPING_AND_ABSTRACT_UP_TAG : cuddInt.h
• DD_BDD_COMPOSE_RECUR_TAG : cuddInt.h
• DD_BDD_ITE_CONSTANT_TAG : cuddInt.h
• DD_BDD_ITE_TAG : cuddInt.h
• DD_BDD_LEQ_UNLESS_TAG : cuddInt.h
• DD_BDD_XOR_EXIST_ABSTRACT_TAG : cuddInt.h
• DD_BIGGY : cuddSat.c
• DD_CRI_HI_MARK : cuddInt.h
• DD_CRI_LO_MARK : cuddInt.h
• DD_DEBUG : cuddPriority.c
• DD_DEFAULT_RECOMB : cuddInt.h
• DD_DEFAULT_RESIZE : cuddInt.h
• DD_DYN_RATIO : cuddInt.h
• DD_EPSILON : cuddInt.h
• DD_EQUIV_DC_TAG : cuddInt.h
• DD_FIRST_REORDER : cuddInt.h
• DD_GC_FRAC_HI : cuddInt.h
• DD_GC_FRAC_LO : cuddInt.h
• DD_GC_FRAC_MIN : cuddInt.h
• DD_GET_SYMM_VARS_TAG : extraBddSymm.c
• DD_INLINE : cuddInt.h
• DD_LAZY_SIFT : cuddGroup.c
• DD_LIC_0 : cuddGenCof.c
• DD_LIC_1 : cuddGenCof.c
• DD_LIC_DC : cuddGenCof.c
• DD_LIC_NL : cuddGenCof.c
• DD_LSDIGIT : cuddInt.h
• DD_MAX_CACHE_FRACTION : cuddInt.h
• DD_MAX_CACHE_TO_SLOTS_RATIO : cuddInt.h
• DD_MAX_HASHTABLE_DENSITY : cuddLCache.c
• DD_MAX_LOOSE_FRACTION : cuddInt.h
• DD_MAX_REORDER_GROWTH : cuddInt.h
• DD_MAX_SUBTABLE_DENSITY : cuddInt.h
• DD_MAX_SUBTABLE_SPARSITY : cuddReorder.c , cuddZddReord.c
• DD_MAXREF : cuddInt.h
• DD_MEM_CHUNK : cuddInt.h
• DD_MIN_HIT : cuddInt.h
• DD_MINUS_INF_VAL : cuddInt.h
• DD_MINUS_INFINITY : cuddInt.h
• DD_MSDIGIT : cuddInt.h
• DD_NON_CONSTANT : cuddInt.h
• DD_NORMAL_SIFT : cuddGroup.c
• DD_ONE : cuddInt.h
• DD_ONE_VAL : cuddInt.h
• DD_P1 : cuddInt.h , cloud.h
• DD_P2 : cuddInt.h , cloud.h
• DD_P3 : cloud.h , cuddInt.h
• DD_P4 : cuddInt.h , cloud.h
• DD_PLUS_INF_VAL : cuddInt.h
• DD_PLUS_INFINITY : cuddInt.h
• DD_SHRINK_FACTOR : cuddReorder.c , cuddZddReord.c
• DD_SIFT_DOWN : cuddGroup.c
• DD_SIFT_MAX_SWAPS : cuddInt.h
• DD_SIFT_MAX_VAR : cuddInt.h
• DD_SIFT_UP : cuddGroup.c
• DD_STASH_FRACTION : cuddInt.h
• DD_UNUSED : cuddInt.h
• DD_ZDD_ITE_TAG : cuddInt.h
• DD_ZERO : cuddInt.h
• DD_ZERO_VAL : cuddInt.h
• ddAbs : cuddInt.h
• ddCHash2 : cuddInt.h
• ddCHash2_ : cuddInt.h
• ddEqualVal : cuddInt.h
• ddHash : cuddInt.h
• ddLCHash2 : cuddLCache.c
• ddLCHash3 : cuddLCache.c
• ddMax : cuddInt.h
• ddMin : cuddInt.h
• Dec_GraphForEachLeaf : deco.h , dec.h
• Dec_GraphForEachNode : dec.h , deco.h
• DEF_MEM_LEVEL : zutil.h
• DEF_WBITS : zutil.h
• DEFAULT_NODE_DATA_PAGE_SIZE : cuddSubsetHB.c
• DEFAULT_NODE_DIST_PAGE_SIZE : cuddSubsetSP.c
• DEFAULT_PAGE_SIZE : cuddSubsetSP.c , cuddSubsetHB.c
• deflateInit : zlib.h
• deflateInit2 : zlib.h
• DEPTH : cuddDecomp.c
• DEPTHOF : huffman.c
• DISJOINT : espresso.h
• DIST_CODE_LEN : trees.c
• dll_unlink : sparse_int.h
• DO1 : adler32.c , crc32.c
• DO16 : adler32.c
• DO2 : adler32.c
• DO4 : adler32.c
• DO8 : adler32.c , crc32.c
• do_hash : st.c , stmm.c
• DONT_CARE : cuddApprox.c
• DOUBLE_BOT_LEFT : extraBddKmap.c
• DOUBLE_BOT_RIGHT : extraBddKmap.c
• DOUBLE_HORIZONTAL : extraBddKmap.c
• DOUBLE_TOP_LEFT : extraBddKmap.c
• DOUBLE_TOP_RIGHT : extraBddKmap.c
• DOUBLE_VERTICAL : extraBddKmap.c
• DOUBLES_CROSS : extraBddKmap.c
• DOWNHEAP : huffman.c
• DR_type : espresso.h
• DROPBITS : inflate.c , infback.c
• DSD_ARRAY_LIMIT : ifDsd.c
• DSD_CLASS_NUM : extraUtilDsd.c
• Dsd_IsComplement : dsd.h
• Dsd_NodeForEachChild : dsd.h
• Dsd_Not : dsd.h
• Dsd_NotCond : dsd.h
• Dsd_Regular : dsd.h
• Dss_ObjForEachChild : dauTree.c
• Dss_ObjForEachFanin : dauTree.c
• Dss_VecForEachNode : dauTree.c
• Dss_VecForEachObj : dauTree.c
• Dss_VecForEachObjVec : dauTree.c
• Dtc_ForEachCut : giaFadds.c
• Dtc_ForEachFadd : giaFadds.c
• DYN_TREES : zutil.h