- d -

• DD_UNUSED : cuddAddAbs.c , cuddAddApply.c , cuddAddInv.c , cuddAndAbs.c , cuddBridge.c , cuddLCache.c , cuddLevelQ.c , cuddCache.c , cuddLinear.c , cuddLiteral.c , cuPort.c , testcudd.c , cuddZddUtil.c , cuddZddSymm.c , cuddZddSetop.c , cuddZddReord.c , cuddZddPort.c , cuddZddMisc.c , cuddZddLin.c , cuddZddIsop.c , cuddZddGroup.c , cuddZddFuncs.c , cuddZddCount.c , cuddWindow.c , cuddUtil.c , cuddTable.c , cuddSymmetry.c , cuddSubsetSP.c , cuddSubsetHB.c , cuddSolve.c , cuddSign.c , cuddSat.c , cuddReorder.c , cuddRef.c , cuddRead.c , cuddAnneal.c , cuddCheck.c , cuddMatMult.c , cuddPriority.c , cuddClip.c , cuddAddIte.c , cuddInteract.c , cuddInit.c , cuddHarwell.c , cuddGroup.c , cuddGenetic.c , cuddGenCof.c , cuddExport.c , cuddExact.c , cuddEssent.c , cuddDecomp.c , cuddApa.c , cuddCof.c , cuddCompose.c , cuddAPI.c , cuddAddFind.c , cuddAddNeg.c , cuddBddIte.c , cuddBddCorr.c , cuddApprox.c , cuddBddAbs.c , cuddAddWalsh.c
• ddTotalNumberSwapping : cuddReorder.c , cuddSymmetry.c , cuddGroup.c
• default_terminal_id : bddmisc.c
• default_var_name : bddmisc.c
• defaultTerminalId : calPrint.c
• defaultVarName : calPrint.c
• dummy_seg : memblock.c
• dummySeg : calMem.c