- d -

• 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
• Dar_CutForEachLeaf : darInt.h
• Dar_ObjForEachCut : darInt.h
• Dar_ObjForEachCutAll : darInt.h
• DASH : espresso.h
• DBAC : cuddWindow.c
• DBCA : cuddWindow.c
• DBL_MAX_EXP : cuddApprox.c , cuddSubsetHB.c
• DCAB : cuddWindow.c
• DCBA : cuddWindow.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_BLACK : cuddTable.c
• DD_COLOR : cuddTable.c
• DD_CRI_HI_MARK : cuddInt.h
• DD_CRI_LO_MARK : cuddInt.h
• 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_INSERT_COMPARE : cuddTable.c
• DD_IS_BLACK : cuddTable.c
• DD_IS_RED : cuddTable.c
• DD_LAZY_SIFT : cuddGroup.c
• DD_LEFT : cuddTable.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_NEXT : cuddTable.c
• DD_NON_CONSTANT : cuddInt.h
• DD_NORMAL_SIFT : cuddGroup.c
• DD_ONE : cuddInt.h
• DD_ONE_VAL : cuddInt.h
• DD_P1 : cloud.h , cuddInt.h
• DD_P2 : cloud.h , cuddInt.h
• DD_P3 : cuddInt.h , cloud.h
• DD_P4 : cloud.h , cuddInt.h
• DD_PAGE_MASK : cuddTable.c
• DD_PAGE_SIZE : cuddTable.c
• DD_PLUS_INF_VAL : cuddInt.h
• DD_PLUS_INFINITY : cuddInt.h
• DD_RED : cuddTable.c
• DD_RIGHT : cuddTable.c
• 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_STACK_SIZE : cuddTable.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
• ddCHash : 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 : dec.h , deco.h
• Dec_GraphForEachNode : dec.h , deco.h
• DEFAULT_NODE_DATA_PAGE_SIZE : cuddSubsetHB.c
• DEFAULT_NODE_DIST_PAGE_SIZE : cuddSubsetSP.c
• DEFAULT_PAGE_SIZE : cuddSubsetHB.c , cuddSubsetSP.c
• DEPTH : cuddDecomp.c
• DISJOINT : espresso.h
• dll_unlink : sparse_int.h
• do_hash : stmm.c , st.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
• DR_type : espresso.h
• Dsd_IsComplement : dsd.h
• Dsd_NodeForEachChild : dsd.h
• Dsd_Not : dsd.h
• Dsd_NotCond : dsd.h
• Dsd_Regular : dsd.h