- d -

• d1_order() : espresso.h , setc.c
• d1_order_size() : espresso.h
• d1_rm_equal() : contain.c , espresso.h
• d1merge() : contain.c , espresso.h
• Dar_ArrayAlloc() : darPrec.c
• Dar_Balance_rec() : darBalance.c
• Dar_BalanceBuildSuper() : darBalance.c
• Dar_BalanceCone() : darBalance.c
• Dar_BalanceCone_rec() : darBalance.c
• Dar_BalanceFindLeft() : darBalance.c
• Dar_BalancePermute() : darBalance.c
• Dar_BalancePushUniqueOrderByLevel() : darBalance.c
• Dar_CutCheckDominance() : darCut.c
• Dar_CutFilter() : darCut.c
• Dar_CutFindFree() : darCut.c
• Dar_CutFindValue() : darCut.c
• Dar_CutMerge() : darCut.c
• Dar_CutMergeOrdered() : darCut.c
• Dar_CutSuppMinimize() : darCut.c
• Dar_CutTruth() : darCut.c
• Dar_CutTruthPhase() : darCut.c
• Dar_CutTruthShrink() : darCut.c
• Dar_CutTruthStretch() : darCut.c
• Dar_CutTruthSwapAdjacentVars() : darCut.c
• Dar_Factorial() : darPrec.c
• Dar_LibAddNode() : darLib.c
• Dar_LibAlloc() : darLib.c
• Dar_LibBuildBest() : darLib.c , darInt.h
• Dar_LibBuildBest_rec() : darLib.c
• Dar_LibBuildClear_rec() : darLib.c
• Dar_LibCreateData() : darLib.c
• Dar_LibCutMarkMffc() : darLib.c
• Dar_LibCutMatch() : darLib.c
• Dar_LibDumpPriorities() : darLib.c
• Dar_LibEval() : darInt.h , darLib.c
• Dar_LibEval_rec() : darLib.c
• Dar_LibEvalAssignNums() : darLib.c
• Dar_LibFree() : darLib.c
• Dar_LibIncrementScore() : darLib.c
• Dar_LibObj() : darLib.c
• Dar_LibObjPrint_rec() : darLib.c
• Dar_LibObjTruth() : darLib.c
• Dar_LibPrepare() : darInt.h , darLib.c
• Dar_LibRead() : darLib.c
• Dar_LibReadNodes() : darData.c , darInt.h
• Dar_LibReadOuts() : darData.c , darInt.h
• Dar_LibReadPrios() : darData.c , darInt.h
• Dar_LibReturnCanonicals() : darInt.h , darLib.c
• Dar_LibSetup() : darLib.c
• Dar_LibSetup0_rec() : darLib.c
• Dar_LibSetup_rec() : darLib.c
• Dar_LibStart() : darLib.c , dar.h , darInt.h
• Dar_LibStop() : dar.h , darInt.h , darLib.c
• Dar_ManBalance() : dar.h , darBalance.c
• Dar_ManChoice() : dar.h , darScript.c
• Dar_ManChoiceSynthesis() : darScript.c
• Dar_ManCompress() : dar.h , darScript.c
• Dar_ManCompress2() : dar.h , darScript.c
• Dar_ManComputeCuts() : dar.h , darCore.c
• Dar_ManCutsFree() : darCut.c , darInt.h
• Dar_ManCutsStart() : darCut.c , darInt.h
• Dar_ManDefaultRefParams() : dar.h , darRefact.c
• Dar_ManDefaultRwrParams() : dar.h , darCore.c
• Dar_ManPrintStats() : darInt.h , darMan.c
• Dar_ManRefactor() : dar.h , darRefact.c
• Dar_ManRefactorTryCuts() : darRefact.c
• Dar_ManRefPrintStats() : darRefact.c
• Dar_ManRefStart() : darRefact.c
• Dar_ManRefStop() : darRefact.c
• Dar_ManRewrite() : dar.h , darCore.c
• Dar_ManRewriteDefault() : dar.h , darScript.c
• Dar_ManRwsat() : dar.h , darScript.c
• Dar_ManStart() : darInt.h , darMan.c
• Dar_ManStop() : darInt.h , darMan.c
• Dar_ObjBestCut() : cnf.h
• Dar_ObjComputeCuts() : darCut.c , darInt.h
• Dar_ObjComputeCuts_rec() : darCut.c , darInt.h
• Dar_ObjCutLevelAchieved() : darRefact.c
• Dar_ObjCuts() : darInt.h
• Dar_ObjPrepareCuts() : darCut.c
• Dar_ObjSetCuts() : darInt.h
• Dar_Permutations() : darInt.h , darPrec.c
• Dar_Permutations_rec() : darPrec.c
• Dar_RefactBuildGraph() : darRefact.c
• Dar_RefactTryGraph() : darRefact.c
• Dar_Truth4VarNPN() : darInt.h , darPrec.c
• Dar_TruthPermute() : darPrec.c
• Dar_TruthPermute_int() : darPrec.c
• Dar_TruthPolarize() : darPrec.c
• Dar_WordCountOnes() : darCut.c
• DateReadFromDateString() : mainUtils.c
• ddBddToAddRecur() : cuddBridge.c
• ddCheckPermuation() : cuddReorder.c
• ddClearFlag() : cuddUtil.c , extraBddMisc.c
• ddClearGlobal() : cuddExact.c , cuddInteract.c
• ddClearLocal() : 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
• ddExchange() : cuddAnneal.c
• ddExtSymmCheck() : cuddGroup.c
• ddFindEssentialRecur() : cuddEssent.c
• ddFindNodeHiLo() : cuddGroup.c
• ddFixLimits() : cuddTable.c
• ddGroupMove() : cuddGroup.c
• ddGroupMoveBackward() : cuddGroup.c
• ddGroupSifting() : cuddGroup.c
• ddGroupSiftingAux() : cuddGroup.c
• ddGroupSiftingBackward() : cuddGroup.c
• ddGroupSiftingDown() : cuddGroup.c
• ddGroupSiftingUp() : cuddGroup.c
• ddIsIthAddVar() : cuddCompose.c
• ddIsIthAddVarPair() : cuddCompose.c
• ddIsVarHandled() : cuddGroup.c
• ddJumpingAux() : cuddAnneal.c
• ddJumpingDown() : cuddAnneal.c
• ddJumpingUp() : cuddAnneal.c
• ddLCHash() : cuddLCache.c
• ddLeavesInt() : cuddUtil.c
• ddLinearAndSiftingAux() : cuddLinear.c
• ddLinearAndSiftingBackward() : cuddLinear.c
• ddLinearAndSiftingDown() : cuddLinear.c
• ddLinearAndSiftingUp() : cuddLinear.c
• ddLinearUniqueCompare() : cuddLinear.c
• ddMergeGroups() : cuddGroup.c
• ddNoCheck() : cuddGroup.c
• 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() : cuddExact.c , cuddReorder.c
• ddSiftingAux() : cuddReorder.c
• ddSiftingBackward() : cuddReorder.c
• ddSiftingDown() : cuddReorder.c
• ddSiftingUp() : cuddReorder.c
• ddSiftUp() : cuddExact.c , cuddReorder.c
• ddSuppInteract() : cuddInteract.c
• ddSupportStep() : cuddUtil.c , extraBddMisc.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
• ddTreeSiftingAux() : cuddGroup.c
• ddUndoMoves() : cuddLinear.c
• ddUniqueCompare() : cuddReorder.c
• ddUniqueCompareGroup() : cuddGroup.c
• ddUpdateInteract() : cuddInteract.c
• ddUpdateInteractionMatrix() : cuddLinear.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
• debug1_print() : cvrout.c , espresso.h
• debug_print() : cvrout.c , espresso.h
• debugFindParent() : cuddCheck.c
• Dec_ConvertSopToMvc() : decFactor.c
• Dec_EdgeCreate() : dec.h , deco.h
• Dec_EdgeToInt() : deco.h , dec.h
• Dec_EdgeToInt_() : dec.h , deco.h
• Dec_Factor() : dec.h , decFactor.c
• Dec_Factor_rec() : decFactor.c
• Dec_FactorLF_rec() : decFactor.c
• Dec_FactorTrivial() : decFactor.c
• Dec_FactorTrivialCube() : decFactor.c
• Dec_FactorTrivialTree_rec() : decFactor.c
• Dec_FactorVerify() : decFactor.c
• Dec_GraphAddNodeAnd() : deco.h , dec.h
• Dec_GraphAddNodeMux() : dec.h , deco.h
• Dec_GraphAddNodeOr() : deco.h , dec.h
• Dec_GraphAddNodeXor() : dec.h , deco.h
• Dec_GraphAppendNode() : deco.h , dec.h
• Dec_GraphComplement() : dec.h , deco.h
• Dec_GraphCreate() : deco.h , dec.h
• Dec_GraphCreateConst0() : deco.h , dec.h
• Dec_GraphCreateConst1() : deco.h , dec.h
• Dec_GraphCreateLeaf() : deco.h , dec.h
• Dec_GraphDeriveBdd() : dec.h , decUtil.c
• Dec_GraphDeriveTruth() : dec.h , decUtil.c
• Dec_GraphFactorSop() : decAbc.c
• Dec_GraphFree() : deco.h , dec.h
• Dec_GraphIsComplement() : dec.h , deco.h
• Dec_GraphIsConst() : deco.h , dec.h
• Dec_GraphIsConst0() : deco.h , dec.h
• Dec_GraphIsConst1() : deco.h , dec.h
• Dec_GraphIsVar() : dec.h , deco.h
• Dec_GraphLeaveNum() : deco.h , dec.h
• Dec_GraphNode() : deco.h , dec.h
• Dec_GraphNodeInt() : deco.h , dec.h
• Dec_GraphNodeIsVar() : dec.h , deco.h
• Dec_GraphNodeLast() : deco.h , dec.h
• Dec_GraphNodeNum() : deco.h , dec.h
• Dec_GraphPrint() : dec.h , decPrint.c
• Dec_GraphPrint2_rec() : decPrint.c
• Dec_GraphPrint_rec() : decPrint.c
• Dec_GraphPrintGetLeafName() : decPrint.c
• Dec_GraphPrintOutputName() : decPrint.c
• Dec_GraphPrintUpdatePos() : decPrint.c
• Dec_GraphSetRoot() : deco.h , dec.h
• Dec_GraphToNetwork() : dec.h , decAbc.c
• Dec_GraphToNetworkAig() : decAbc.c
• Dec_GraphToNetworkCount() : decAbc.c , dec.h
• Dec_GraphToNetworkIvy() : decAbc.c
• Dec_GraphToNetworkNoStrash() : decAbc.c , dec.h
• Dec_GraphUpdateNetwork() : dec.h , decAbc.c
• Dec_GraphVar() : deco.h , dec.h
• Dec_GraphVarInt() : deco.h , dec.h
• Dec_IntToEdge() : deco.h , dec.h
• Dec_IntToEdge_() : deco.h , dec.h
• Dec_ManStart() : dec.h , decMan.c
• Dec_ManStop() : dec.h , decMan.c
• define_cube_size() : cubehack.c
• delete_arg() : main.c
• delvar() : espresso.h , pair.c
• desc1() : espresso.h , setc.c
• descend() : espresso.h , setc.c
• disassemble_fsm() : hack.c
• dist_merge() : contain.c , espresso.h
• div() : stdlib_hack.h
• do_minimize() : exact.c
• do_sm_minimum_cover() : espresso.h , sminterf.c
• dp2() : cuddUtil.c
• drand() : satSolver.c , msatSort.c
• Dsd_CheckCacheAllocate() : dsdInt.h , dsdCheck.c
• Dsd_CheckCacheClear() : dsdInt.h , dsdCheck.c
• Dsd_CheckCacheDeallocate() : dsdInt.h , dsdCheck.c
• Dsd_CheckRootFunctionIdentity() : dsdCheck.c , dsdInt.h
• Dsd_CheckRootFunctionIdentity_rec() : dsdCheck.c
• Dsd_Decompose() : dsdProc.c , dsd.h
• Dsd_DecomposeOne() : dsd.h , dsdProc.c
• Dsd_ManagerReadConst1() : dsd.h , dsdApi.c
• Dsd_ManagerReadDd() : dsd.h , dsdApi.c
• Dsd_ManagerReadInput() : dsd.h , dsdApi.c
• Dsd_ManagerReadRoot() : dsdApi.c , dsd.h
• Dsd_ManagerStart() : dsdMan.c , dsd.h
• Dsd_ManagerStop() : dsd.h , dsdMan.c
• Dsd_NodePrint() : dsdTree.c , dsd.h
• Dsd_NodePrint_rec() : dsdTree.c
• Dsd_NodeReadDec() : dsd.h , dsdApi.c
• Dsd_NodeReadDecs() : dsd.h , dsdApi.c
• Dsd_NodeReadDecsNum() : dsd.h , dsdApi.c
• Dsd_NodeReadFunc() : dsd.h , dsdApi.c
• Dsd_NodeReadMark() : dsdApi.c , dsd.h
• Dsd_NodeReadSupp() : dsd.h , dsdApi.c
• Dsd_NodeReadType() : dsdApi.c , dsd.h
• Dsd_NodeSetMark() : dsd.h , dsdApi.c
• Dsd_TreeCollectDecomposableVars() : dsd.h , dsdTree.c
• Dsd_TreeCollectDecomposableVars_rec() : dsdTree.c
• Dsd_TreeCollectNodesDfs() : dsd.h , dsdTree.c
• Dsd_TreeCollectNodesDfs_rec() : dsdTree.c
• Dsd_TreeCollectNodesDfsOne() : dsdTree.c , dsd.h
• Dsd_TreeCountNonTerminalNodes() : dsdTree.c , dsd.h
• Dsd_TreeCountNonTerminalNodes_rec() : dsdTree.c
• Dsd_TreeCountNonTerminalNodesOne() : dsdTree.c , dsd.h
• Dsd_TreeCountPrimeNodes() : dsdTree.c , dsd.h
• Dsd_TreeCountPrimeNodes_rec() : dsdTree.c
• Dsd_TreeCountPrimeNodesOne() : dsd.h , dsdTree.c
• Dsd_TreeGetAigCost() : dsdTree.c , dsd.h
• Dsd_TreeGetAigCost_rec() : dsdTree.c
• Dsd_TreeGetInfo_rec() : dsdTree.c
• Dsd_TreeGetPrimeFunction() : dsd.h , dsdLocal.c
• Dsd_TreeGetPrimeFunctionOld() : dsdTree.c , dsdInt.h
• Dsd_TreeNodeCreate() : dsdInt.h , dsdTree.c
• Dsd_TreeNodeDelete() : dsdTree.c , dsdInt.h
• Dsd_TreeNodeGetInfo() : dsdTree.c , dsd.h
• Dsd_TreeNodeGetInfoOne() : dsdTree.c , dsd.h
• Dsd_TreePrint() : dsdTree.c , dsd.h
• Dsd_TreePrint_rec() : dsdTree.c
• Dsd_TreeUnmark() : dsdInt.h , dsdTree.c
• Dsd_TreeUnmark_rec() : dsdTree.c
• dsdKernelCheckContainment() : dsdProc.c
• dsdKernelComputeSumOfComponents() : dsdProc.c
• dsdKernelCopyListPlusOne() : dsdProc.c
• dsdKernelCopyListPlusOneMinusOne() : dsdProc.c
• dsdKernelDecompose() : dsdProc.c
• dsdKernelDecompose_rec() : dsdProc.c
• dsdKernelFindCommonComponents() : dsdProc.c
• dsdKernelFindContainingComponent() : dsdProc.c
• dsdKernelVerifyDecomposition() : dsdProc.c
• dsharp() : espresso.h , sharp.c
• dump_irredundant() : exact.c