Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- d -

• DABC : cuddWindow.c
• DACB : cuddWindow.c
• 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_AOP : cudd.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_CHKFP : cuddGroup.c
• DD_CRI_HI_MARK : cuddInt.h
• DD_CRI_LO_MARK : cuddInt.h
• DD_CTFP : cudd.h
• DD_CTFP1 : cudd.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_HFP : cudd.h
• 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_MAOP : cudd.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_OOMFP : cudd.h
• DD_P1 : cuddInt.h
• DD_P2 : cuddInt.h
• DD_P3 : cuddInt.h
• DD_P4 : cuddInt.h
• DD_PLUS_INF_VAL : cuddInt.h
• DD_PLUS_INFINITY : cuddInt.h
• DD_PRFP : cudd.h
• DD_QSFP : cudd.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 : cuddRef.c , cuddReorder.c , cuddSat.c , cuddSign.c , cuddSolve.c , cuddSubsetHB.c , cuddSubsetSP.c , cuddSymmetry.c , cuddTable.c , cuddUtil.c , cuddWindow.c , cuddZddCount.c , cuddZddFuncs.c , cuddZddGroup.c , cuddZddIsop.c , cuddZddLin.c , cuddZddMisc.c , cuddZddPort.c , cuddZddReord.c , cuddZddSetop.c , cuddZddSymm.c , cuddZddUtil.c , testcudd.c , cuPort.c , cuddInt.h , cuddAddAbs.c , cuddAddApply.c , cuddAddFind.c , cuddAddInv.c , cuddAddIte.c , cuddAddNeg.c , cuddAddWalsh.c , cuddAndAbs.c , cuddAnneal.c , cuddApa.c , cuddAPI.c , cuddApprox.c , cuddBddAbs.c , cuddBddCorr.c , cuddBddIte.c , cuddBridge.c , cuddCache.c , cuddCheck.c , cuddClip.c , cuddCof.c , cuddCompose.c , cuddDecomp.c , cuddEssent.c , cuddExact.c , cuddExport.c , cuddGenCof.c , cuddGenetic.c , cuddGroup.c , cuddHarwell.c , cuddInit.c , cuddInteract.c , cuddLCache.c , cuddLevelQ.c , cuddLinear.c , cuddLiteral.c , cuddMatMult.c , cuddPriority.c , cuddRead.c
• DD_ZDD_ITE_TAG : cuddInt.h
• DD_ZERO : cuddInt.h
• DD_ZERO_VAL : cuddInt.h
• ddAbs : cuddInt.h
• DdApaDigit : cudd.h
• DdApaDoubleDigit : cudd.h
• DdApaNumber : cudd.h
• ddBddToAddRecur() : cuddBridge.c
• ddCHash : cuddInt.h
• ddCHash2 : cuddInt.h
• ddCheckPermuation() : cuddReorder.c
• ddClearFlag() : cuddUtil.c
• ddClearGlobal() : cuddExact.c , cuddInteract.c
• ddClearLocal() : calInteract.c , cuddInteract.c
• ddCofMintermAux() : cuddSign.c
• ddCountMintermAux() : cuddUtil.c
• ddCountPathAux() : cuddUtil.c
• ddCountPathsToNonZero() : cuddUtil.c
• ddCountRoots() : cuddExact.c
• ddCreateGroup() : cuddGroup.c
• ddDagInt() : cuddUtil.c
• ddDissolveGroup() : cuddGroup.c
• ddDoDumpBlif() : cuddExport.c
• ddDoDumpDaVinci() : cuddExport.c
• ddDoDumpDDcal() : cuddExport.c
• ddDoDumpFactoredForm() : cuddExport.c
• ddEpdCountMintermAux() : cuddUtil.c
• ddEpdFree() : cuddUtil.c
• ddEqualVal : cuddInt.h
• ddExchange() : cuddAnneal.c
• ddExtSymmCheck() : cuddGroup.c
• ddFindEssentialRecur() : cuddEssent.c
• ddFindNodeHiLo() : cuddGroup.c
• ddFindTwoLiteralClausesRecur() : cuddEssent.c
• ddFixLimits() : cuddTable.c
• DdGen : cudd.h
• ddGroupMove() : cuddGroup.c
• ddGroupMoveBackward() : cuddGroup.c
• ddGroupSifting() : cuddGroup.c
• ddGroupSiftingAux() : cuddGroup.c
• ddGroupSiftingBackward() : cuddGroup.c
• ddGroupSiftingDown() : cuddGroup.c
• ddGroupSiftingUp() : cuddGroup.c
• DdHalfWord : cudd.h
• ddHash : cuddInt.h
• ddIsIthAddVar() : cuddCompose.c
• ddIsIthAddVarPair() : cuddCompose.c
• ddIsVarHandled() : cuddGroup.c
• ddJumpingAux() : cuddAnneal.c
• ddJumpingDown() : cuddAnneal.c
• ddJumpingUp() : cuddAnneal.c
• ddLCHash() : cuddLCache.c
• ddLCHash2 : cuddLCache.c
• ddLCHash3 : cuddLCache.c
• ddLeavesInt() : cuddUtil.c
• ddLinearAndSiftingAux() : cuddLinear.c
• ddLinearAndSiftingBackward() : cuddLinear.c
• ddLinearAndSiftingDown() : cuddLinear.c
• ddLinearAndSiftingUp() : cuddLinear.c
• ddLinearUniqueCompare() : cuddLinear.c
• DdManager : cudd.h
• ddMax : cuddInt.h
• ddMergeGroups() : cuddGroup.c
• ddMin : cuddInt.h
• ddNoCheck() : cuddGroup.c
• DdNode : cudd.h
• DdNodePtr : cuddInt.h
• ddPatchTree() : cuddTable.c
• ddPermuteWindow3() : cuddWindow.c
• ddPermuteWindow4() : cuddWindow.c
• ddPickArbitraryMinterms() : cuddUtil.c
• ddPickRepresentativeCube() : cuddUtil.c
• ddPrintMintermAux() : cuddUtil.c
• ddRehashZdd() : cuddTable.c
• ddReorderChildren() : cuddGroup.c
• ddReorderPostprocess() : cuddReorder.c
• ddReorderPreprocess() : cuddReorder.c
• ddReportRefMess() : cuddTable.c
• ddResetVarHandled() : cuddGroup.c
• ddResizeTable() : cuddTable.c
• ddSecDiffCheck() : cuddGroup.c
• ddSetVarHandled() : cuddGroup.c
• ddShuffle() : cuddReorder.c , cuddExact.c
• ddSiftingAux() : cuddReorder.c
• ddSiftingBackward() : cuddReorder.c
• ddSiftingDown() : cuddReorder.c
• ddSiftingUp() : cuddReorder.c
• ddSiftUp() : cuddExact.c , cuddReorder.c
• ddSuppInteract() : calInteract.c , cuddInteract.c
• ddSupportStep() : cuddUtil.c
• ddSwapAny() : cuddReorder.c
• ddSymmGroupMove() : cuddSymmetry.c
• ddSymmGroupMoveBackward() : cuddSymmetry.c
• ddSymmSiftingAux() : cuddSymmetry.c
• ddSymmSiftingBackward() : cuddSymmetry.c
• ddSymmSiftingConvAux() : cuddSymmetry.c
• ddSymmSiftingDown() : cuddSymmetry.c
• ddSymmSiftingUp() : cuddSymmetry.c
• ddSymmSummary() : cuddSymmetry.c
• ddSymmUniqueCompare() : cuddSymmetry.c
• DdTlcInfo : cudd.h
• ddTotalNumberSwapping : cuddGroup.c , cuddSymmetry.c , cuddReorder.c
• ddTreeSiftingAux() : cuddGroup.c
• ddUndoMoves() : cuddLinear.c
• ddUniqueCompare() : cuddReorder.c
• ddUniqueCompareGroup() : cuddGroup.c
• ddUpdateInteract() : cuddInteract.c , calInteract.c
• ddUpdateMtrTree() : cuddReorder.c
• ddVarGroupCheck() : cuddGroup.c
• ddWindow2() : cuddWindow.c
• ddWindow3() : cuddWindow.c
• ddWindow4() : cuddWindow.c
• ddWindowConv2() : cuddWindow.c
• ddWindowConv3() : cuddWindow.c
• ddWindowConv4() : cuddWindow.c
• debugFindParent() : cuddCheck.c
• DECL_SORT : lsort.h
• DECL_SORT1 : lsort.h
• Decode() : calTest.c
• decode() : testbdd.c
• decrefs() : bddreorder.c
• DEFAULT_DEPTH : calInt.h
• DEFAULT_EXIST_HASH_TABLE_SIZE : calQuant.c
• DEFAULT_EXIST_HASH_TABLE_SIZE_INDEX : calQuant.c
• DEFAULT_MAX_DEPTH : calInt.h
• DEFAULT_NODE_DATA_PAGE_SIZE : cuddSubsetHB.c
• DEFAULT_NODE_DIST_PAGE_SIZE : cuddSubsetSP.c
• DEFAULT_PAGE_SIZE : cuddSubsetSP.c , cuddSubsetHB.c
• default_terminal_id : bddmisc.c
• default_var_name : bddmisc.c
• defaultTerminalId : calPrint.c
• defaultVarName : calPrint.c
• del_from_list() : graph_int.h
• DEPTH : cuddDecomp.c
• dfs_recurr() : graph_dfs.c
• dll_unlink : sparse_int.h
• do_check_tree() : avl.c
• do_hash : st.c
• do_rebalance() : avl.c
• DONT_CARE : cuddApprox.c
• dp2() : cuddUtil.c
• dummy_seg : memblock.c
• dummySeg : calMem.c