- d -

• d1_order() : espresso.h , setc.c
• d1_order_size() : espresso.h
• d1_rm_equal() : contain.c , espresso.h
• d1merge() : contain.c , espresso.h
• Dam_DivHand() : giaBalAig.c
• Dam_DivSet() : giaBalAig.c
• Dam_ManAlloc() : giaBalAig.c
• Dam_ManAreaBalanceInt() : giaBalAig.c
• Dam_ManCollectSets() : giaBalAig.c
• Dam_ManCollectSets_rec() : giaBalAig.c
• Dam_ManCreateMultiRefs() : giaBalAig.c
• Dam_ManCreatePairs() : giaBalAig.c
• Dam_ManDivSlack() : giaBalAig.c
• Dam_ManFree() : giaBalAig.c
• Dam_ManMultiAig() : giaBalAig.c
• Dam_ManMultiAig_rec() : giaBalAig.c
• Dam_ManUpdate() : giaBalAig.c
• Dam_ManUpdateNode() : giaBalAig.c
• Dam_ObjHand() : giaBalAig.c
• Dam_ObjSet() : giaBalAig.c
• Dam_PrintDiv() : giaBalAig.c
• Dam_PrintQue() : giaBalAig.c
• Dar2_LibBuildBest() : darLib.c
• Dar2_LibBuildBest_rec() : darLib.c
• Dar2_LibBuildClear_rec() : darLib.c
• Dar2_LibCutMatch() : darLib.c
• Dar2_LibEval() : darLib.c
• Dar2_LibEval_rec() : darLib.c
• Dar2_LibEvalAssignNums() : darLib.c
• Dar_ArrayAlloc() : darPrec.c
• Dar_Balance_rec() : darBalance.c
• Dar_BalanceBuildSuper() : darBalance.c
• Dar_BalanceBuildSuperTop() : darBalance.c
• Dar_BalanceCone() : darBalance.c
• Dar_BalanceCone_rec() : darBalance.c
• Dar_BalanceFindLeft() : darBalance.c
• Dar_BalancePermute() : darBalance.c
• Dar_BalancePrintStats() : dar.h , darBalance.c
• Dar_BalancePushUniqueOrderByLevel() : darBalance.c
• Dar_BalanceUniqify() : 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_CutPrint() : darCut.c
• Dar_CutSortVars() : 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_CutTruthSwapPolarity() : 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_LibEvalBuild() : giaShrink.c , 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() : dar.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_LibReturnClass() : dar.h , darLib.c
• Dar_LibSetup() : darLib.c
• Dar_LibSetup0_rec() : darLib.c
• Dar_LibSetup_rec() : darLib.c
• Dar_LibStart() : dar.h , darInt.h , darLib.c
• Dar_LibStop() : dar.h , darInt.h , darLib.c
• Dar_ManBalance() : dar.h , darBalance.c
• Dar_ManBalanceXor() : dar.h , darBalance.c
• Dar_ManChoice() : dar.h , darScript.c
• Dar_ManChoiceNew() : darScript.c , dch.h
• Dar_ManChoiceNewAig() : 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_ManCutCount() : darCore.c
• Dar_ManCutsFree() : darCut.c , darInt.h
• Dar_ManCutsRestart() : darCut.c , darInt.h
• Dar_ManDefaultRefParams() : dar.h , darRefact.c
• Dar_ManDefaultRwrParams() : darCore.c , dar.h
• 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() : aigPartSat.c , dar.h , darScript.c
• Dar_ManStart() : darInt.h , darMan.c
• Dar_ManStop() : darInt.h , darMan.c
• Dar_NewChoiceSynthesis() : darScript.c
• Dar_NewChoiceSynthesisGuard() : darScript.c
• Dar_NewCompress() : darScript.c
• Dar_NewCompress2() : darScript.c
• Dar_ObjBestCut() : cnf.h
• Dar_ObjCompareLits() : darBalance.c
• Dar_ObjComputeCuts() : darCut.c , darInt.h
• Dar_ObjComputeCuts_rec() : darCut.c , darInt.h
• Dar_ObjCutLevelAchieved() : darRefact.c
• Dar_ObjCutPrint() : darCut.c , darInt.h
• Dar_ObjCuts() : darInt.h
• Dar_ObjPrepareCuts() : darCut.c , darInt.h
• 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
• data_count() : abcSaucy.c
• data_mark() : abcSaucy.c
• DateReadFromDateString() : mainUtils.c
• Dau_DecCheckSet5() : dauNonDsd.c
• Dau_DecCheckSet6() : dauNonDsd.c
• Dau_DecCheckSetAny() : dauNonDsd.c
• Dau_DecCheckSetTop() : dauNonDsd.c
• Dau_DecCheckSetTop5() : dauNonDsd.c
• Dau_DecCheckSetTop6() : dauNonDsd.c
• Dau_DecCheckSetTopOld() : dauNonDsd.c
• Dau_DecCreateSet() : dauNonDsd.c
• Dau_DecDecomposeSet() : dauNonDsd.c
• Dau_DecFindSets() : dau.h , dauNonDsd.c
• Dau_DecFindSets_int() : dau.h , dauNonDsd.c
• Dau_DecFindSetsTest() : dauNonDsd.c
• Dau_DecFindSetsTest2() : dauNonDsd.c
• Dau_DecFindSetsTest3() : dauNonDsd.c
• Dau_DecGetMinterm() : dauNonDsd.c
• Dau_DecMoveFreeToLSB() : dauNonDsd.c
• Dau_DecPerform() : dauNonDsd.c
• Dau_DecPerform6() : dauNonDsd.c
• Dau_DecPrintSet() : dau.h , dauNonDsd.c
• Dau_DecPrintSets() : dau.h , dauNonDsd.c
• Dau_DecReadSet() : dauNonDsd.c
• Dau_DecSetHas01() : dauNonDsd.c
• Dau_DecSetIsContained() : dauNonDsd.c
• Dau_DecSortSet() : dau.h , dauNonDsd.c
• Dau_DecTrySets() : dauNonDsd.c
• Dau_DecVarReplace() : dauNonDsd.c
• Dau_DecVerify() : dauNonDsd.c
• Dau_Dsd6DecomposeDoubleVars() : dauDsd.c
• Dau_Dsd6DecomposeDoubleVarsOne() : dauDsd.c
• Dau_Dsd6DecomposeInternal() : dauDsd.c
• Dau_Dsd6DecomposeSingleVar() : dauDsd.c
• Dau_Dsd6DecomposeSingleVarOne() : dauDsd.c
• Dau_Dsd6DecomposeTripleVars() : dauDsd.c
• Dau_Dsd6DecomposeTripleVarsInner() : dauDsd.c
• Dau_Dsd6DecomposeTripleVarsOuter() : dauDsd.c
• Dau_Dsd6FindSupportOne() : dauDsd.c
• Dau_Dsd6FindSupports() : dauDsd.c
• Dau_Dsd6ToTruth() : dau.h , dauDsd.c
• Dau_Dsd6ToTruth_rec() : dauDsd.c
• Dau_Dsd6TruthCompose_rec() : dauDsd.c
• Dau_DsdAddToArray() : dauGia.c
• Dau_DsdAddVarDef() : dauDsd.c
• Dau_DsdBalance() : dauGia.c
• Dau_DsdCheck1Step() : dau.h , dauDsd.c
• Dau_DsdCheckDecAndExist() : ifDec75.c
• Dau_DsdCheckDecAndExist_rec() : ifDec75.c
• Dau_DsdCheckDecExist() : ifDec75.c
• Dau_DsdCheckDecExist_rec() : ifDec75.c
• Dau_DsdClean() : dauArray.c
• Dau_DsdComputeMatches() : dau.h , dauDsd.c
• Dau_DsdConstruct() : dauArray.c
• Dau_DsdCountAnd() : dauArray.c
• Dau_DsdCountAnds() : dau.h , dauDsd.c
• Dau_DsdCountAnds_rec() : dauDsd.c
• Dau_DsdDecompose() : dau.h , dauDsd.c
• Dau_DsdDecomposeDoubleVars() : dauDsd.c
• Dau_DsdDecomposeDoubleVarsOne() : dauDsd.c
• Dau_DsdDecomposeInt() : dauDsd.c
• Dau_DsdDecomposeInternal() : dauDsd.c
• Dau_DsdDecomposeLevel() : dau.h , dauDsd.c
• Dau_DsdDecomposeSingleVar() : dauDsd.c
• Dau_DsdDecomposeSingleVarOne() : dauDsd.c
• Dau_DsdDecomposeTripleVars() : dauDsd.c
• Dau_DsdDecomposeTripleVarsInner() : dauDsd.c
• Dau_DsdDecomposeTripleVarsOuter() : dauDsd.c
• Dau_DsdDepth() : dauArray.c
• Dau_DsdDivisors() : dauDivs.c
• Dau_DsdFinalize() : dauDsd.c
• Dau_DsdFindSupportOne() : dauDsd.c
• Dau_DsdFindSupports() : dauDsd.c
• Dau_DsdFindVarDef() : dauDsd.c
• Dau_DsdFindVarNum() : dauDsd.c
• Dau_DsdGenRandPerm() : dauDsd.c
• Dau_DsdInitialize() : dauDsd.c
• Dau_DsdInsertVarCache() : dauDsd.c
• Dau_DsdIsConst() : dau.h
• Dau_DsdIsConst0() : dau.h
• Dau_DsdIsConst1() : dau.h
• Dau_DsdIsVar() : dau.h
• Dau_DsdLevelVar() : dauDsd.c
• Dau_DsdLookupVarCache() : dauDsd.c
• Dau_DsdMerge() : ifMap.c , dau.h , dauMerge.c
• Dau_DsdMergeCopy() : dauMerge.c
• Dau_DsdMergeCountShared() : dauMerge.c
• Dau_DsdMergeCreateMaps() : dauMerge.c
• Dau_DsdMergeFindShared() : dauMerge.c
• Dau_DsdMergeGetStatus() : dauMerge.c
• Dau_DsdMergeInlineDefinitions() : dauMerge.c
• Dau_DsdMergeMatches() : dauMerge.c , dauTree.c
• Dau_DsdMergePrintWithStatus() : dauMerge.c
• Dau_DsdMergeReplace() : dauMerge.c
• Dau_DsdMergeStatus() : dauMerge.c
• Dau_DsdMergeStatus_rec() : dauMerge.c
• Dau_DsdMergeStoreAddToDef() : dauMerge.c
• Dau_DsdMergeStoreAddToDefChar() : dauMerge.c
• Dau_DsdMergeStoreAddToOutput() : dauMerge.c
• Dau_DsdMergeStoreAddToOutputChar() : dauMerge.c
• Dau_DsdMergeStoreClean() : dauMerge.c
• Dau_DsdMergeStoreCleanOutput() : dauMerge.c
• Dau_DsdMergeStoreCreateDef() : dauMerge.c
• Dau_DsdMergeStorePrintDefs() : dauMerge.c
• Dau_DsdMergeStoreStartDef() : dauMerge.c
• Dau_DsdMergeStoreStopDef() : dauMerge.c
• Dau_DsdMergeSubstitute() : dauMerge.c
• Dau_DsdMergeSubstitute_rec() : dauMerge.c
• Dau_DsdMergeVarPres() : dauMerge.c
• Dau_DsdMinBase() : dauDsd.c
• Dau_DsdNormalize() : dau.h , dauDsd.c
• Dau_DsdNormalize_rec() : dauDsd.c
• Dau_DsdNormalizeCompare() : dauDsd.c
• Dau_DsdNormalizeCopy() : dauDsd.c
• Dau_DsdNormalizePerm() : dauDsd.c
• Dau_DsdPerform() : dauDsd.c
• Dau_DsdPerform_rec() : dauDsd.c
• Dau_DsdPerformReplace() : dauDsd.c
• Dau_DsdPermute() : dauDsd.c
• Dau_DsdPrint() : dauArray.c
• Dau_DsdPrintFromTruth() : dau.h , dauDsd.c
• Dau_DsdPrintFromTruthFile() : dau.h , dauDsd.c
• Dau_DsdPrintSupports() : dauDsd.c
• Dau_DsdReadVar() : dau.h
• Dau_DsdRemoveBraces() : dau.h , dauMerge.c
• Dau_DsdRemoveBraces_rec() : dauMerge.c
• Dau_DsdRemoveUseless() : dauArray.c
• Dau_DsdTest() : dauTree.c
• Dau_DsdTest000() : dauDivs.c
• Dau_DsdTest2() : dauDsd.c
• Dau_DsdTest22() : dauArray.c
• Dau_DsdTest3() : dauDsd.c
• Dau_DsdTest44() : dauDsd.c
• Dau_DsdTest444() : dauTree.c
• Dau_DsdTest555() : dauDsd.c
• Dau_DsdTest66() : dauMerge.c
• Dau_DsdTest888() : dauDsd.c
• Dau_DsdTest__() : dauTree.c
• Dau_DsdToGia() : dauGia.c
• Dau_DsdToGia2() : dauGia.c
• Dau_DsdToGia2_rec() : dauGia.c
• Dau_DsdToGia_rec() : dauGia.c
• Dau_DsdToGiaCompose_rec() : dauGia.c
• Dau_DsdToTruth() : dau.h , dauDsd.c
• Dau_DsdToTruth_rec() : dauDsd.c
• Dau_DsdTranslate() : dauDsd.c
• Dau_DsdTruth6Compose_rec() : dauDsd.c
• Dau_DsdTruthCompose_rec() : dau.h , dauDsd.c
• Dau_DsdTtElems() : dauDsd.c
• Dau_DsdWritePrime() : dauDsd.c
• Dau_DsdWriteString() : dauDsd.c
• Dau_DsdWriteVar() : dauDsd.c
• Dau_EnumCombineThree() : dauEnum.c
• Dau_EnumCombineTwo() : dauEnum.c
• Dau_EnumLift() : dauEnum.c
• Dau_EnumLift2() : dauEnum.c
• Dau_EnumTest() : dauEnum.c
• Dau_EnumTestDump() : dauEnum.c
• Dch_AddClausesMux() : dchCnf.c
• Dch_AddClausesSuper() : dchCnf.c
• Dch_CheckChoices() : dchChoice.c
• Dch_ClassesCheck() : dchClass.c
• Dch_ClassesCollectConst1Group() : dchClass.c , dchInt.h
• Dch_ClassesCollectOneClass() : dchClass.c , dchInt.h
• Dch_ClassesLitNum() : dchClass.c , dchInt.h
• Dch_ClassesPrepare() : dchClass.c , dchInt.h
• Dch_ClassesPrint() : dchClass.c , dchInt.h
• Dch_ClassesPrintOne() : dchClass.c
• Dch_ClassesReadClass() : dchClass.c , dchInt.h
• Dch_ClassesRefine() : dchClass.c , dchInt.h
• Dch_ClassesRefineConst1Group() : dchClass.c , dchInt.h
• Dch_ClassesRefineOneClass() : dchClass.c , dchInt.h
• Dch_ClassesSetData() : dchClass.c , dchInt.h
• Dch_ClassesStart() : dchClass.c , dchInt.h
• Dch_ClassesStop() : dchClass.c , dchInt.h
• Dch_CnfNodeAddToSolver() : dchCnf.c , dchInt.h
• Dch_CollectSuper() : dchCnf.c
• Dch_CollectSuper_rec() : dchCnf.c
• Dch_ComputeChoices() : dch.h , dchCore.c
• Dch_ComputeEquivalences() : abcDress2.c , dch.h , dchCore.c
• Dch_CreateCandEquivClasses() : dchInt.h , dchSim.c
• Dch_DeriveChoiceAig() : dchChoice.c , dchInt.h
• Dch_DeriveChoiceAigInt() : dchChoice.c
• Dch_DeriveChoiceAigNode() : dchChoice.c
• Dch_DeriveChoiceCountEquivs() : dchChoice.c , dchInt.h
• Dch_DeriveChoiceCountReprs() : dchChoice.c , dchInt.h
• Dch_DeriveTotalAig() : dch.h , dchAig.c
• Dch_DeriveTotalAig_rec() : dchAig.c
• Dch_ManCollectTfoCands() : dchSimSat.c
• Dch_ManCollectTfoCands_rec() : dchSimSat.c
• Dch_ManCreate() : dchInt.h , dchMan.c
• Dch_ManPrintStats() : dchMan.c
• Dch_ManReadVerbose() : dch.h , dchCore.c
• Dch_ManResimulateCex() : dchInt.h , dchSimSat.c
• Dch_ManResimulateCex2() : dchInt.h , dchSimSat.c
• Dch_ManResimulateOther_rec() : dchSimSat.c
• Dch_ManResimulateSolved_rec() : dchSimSat.c
• Dch_ManSatSolverRecycle() : dchInt.h , dchMan.c
• Dch_ManSetDefaultParams() : dch.h , dchCore.c
• Dch_ManStop() : dchInt.h , dchMan.c
• Dch_ManSweep() : dchInt.h , dchSweep.c
• Dch_ManSweepNode() : dchSweep.c
• Dch_NodeHash() : dchSim.c
• Dch_NodeIsConst() : dchSim.c
• Dch_NodeIsConstCex() : dchSim.c
• Dch_NodesAreEqual() : dchSim.c
• Dch_NodesAreEqualCex() : dchSim.c
• Dch_NodesAreEquiv() : dchInt.h , dchSat.c
• Dch_ObjAddClass() : dchClass.c
• Dch_ObjAddToFrontier() : dchCnf.c
• Dch_ObjCheckSuppRed() : dchChoice.c
• Dch_ObjCheckTfi() : dchChoice.c
• Dch_ObjCheckTfi_rec() : dchChoice.c
• Dch_ObjChild0Fra() : dchSweep.c
• Dch_ObjChild1Fra() : dchSweep.c
• Dch_ObjCountSupp() : dchChoice.c
• Dch_ObjCountSupp_rec() : dchChoice.c
• Dch_ObjFraig() : dchInt.h
• Dch_ObjIsConst1Cand() : dchInt.h
• Dch_ObjMarkTfi_rec() : dchChoice.c
• Dch_ObjNext() : dchClass.c
• Dch_ObjRandomSim() : dchSim.c
• Dch_ObjRemoveClass() : dchClass.c
• Dch_ObjSatNum() : dchInt.h
• Dch_ObjSetConst1Cand() : dchInt.h
• Dch_ObjSetFraig() : dchInt.h
• Dch_ObjSetNext() : dchClass.c
• Dch_ObjSetSatNum() : dchInt.h
• Dch_ObjSim() : dchSim.c
• Dch_PerformRandomSimulation() : dchSim.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
• ddFindTwoLiteralClausesRecur() : cuddEssent.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
• ddUpdateMtrTree() : cuddReorder.c
• ddVarGroupCheck() : cuddGroup.c
• ddWindow2() : cuddWindow.c
• ddWindow3() : cuddWindow.c
• ddWindow4() : cuddWindow.c
• ddWindowConv2() : cuddWindow.c
• ddWindowConv3() : cuddWindow.c
• ddWindowConv4() : cuddWindow.c
• deallocAigPoIndices() : disjunctiveMonotone.c , monotone.c
• deallocAntecedentConsequentVectorsStruct() : disjunctiveMonotone.c
• deallocateMasterBarrierDisjunctInt() : kliveness.c
• deallocateMasterBarrierDisjunctVecPtrVecInt() : kliveness.c
• deallocateVecOfIntVec() : disjunctiveMonotone.c
• deallocPointersToMonotoneVectors() : monotone.c
• debug1_print() : cvrout.c , espresso.h
• debug_print() : cvrout.c , espresso.h
• debugFindParent() : cuddCheck.c
• Dec_ConvertSopToMvc() : decFactor.c
• Dec_EdgeCreate() : deco.h , dec.h
• Dec_EdgeToInt() : dec.h , deco.h
• Dec_EdgeToInt_() : deco.h , dec.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() : dec.h , deco.h
• Dec_GraphAddNodeMux() : deco.h , dec.h
• Dec_GraphAddNodeOr() : dec.h , deco.h
• Dec_GraphAddNodeXor() : deco.h , dec.h
• Dec_GraphAppendNode() : dec.h , deco.h
• Dec_GraphComplement() : deco.h , dec.h
• Dec_GraphCreate() : dec.h , deco.h
• Dec_GraphCreateConst0() : dec.h , deco.h
• Dec_GraphCreateConst1() : dec.h , deco.h
• Dec_GraphCreateLeaf() : deco.h , dec.h
• Dec_GraphDeriveBdd() : decUtil.c
• Dec_GraphDeriveTruth() : decUtil.c , dec.h
• Dec_GraphFactorSop() : decAbc.c
• Dec_GraphFree() : dec.h , deco.h
• Dec_GraphIsComplement() : deco.h , dec.h
• Dec_GraphIsConst() : dec.h , deco.h
• Dec_GraphIsConst0() : dec.h , deco.h
• Dec_GraphIsConst1() : dec.h , deco.h
• Dec_GraphIsVar() : deco.h , dec.h
• Dec_GraphLeaveNum() : deco.h , dec.h
• Dec_GraphNode() : deco.h , dec.h
• Dec_GraphNodeInt() : deco.h , dec.h
• Dec_GraphNodeIsVar() : deco.h , dec.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() : dec.h , deco.h
• Dec_GraphToAig() : decAbc.c
• Dec_GraphToNetwork() : decAbc.c
• Dec_GraphToNetworkAig() : decAbc.c
• Dec_GraphToNetworkCount() : decAbc.c
• Dec_GraphToNetworkIvy() : abcIvy.c , decAbc.c
• Dec_GraphToNetworkNoStrash() : decAbc.c
• Dec_GraphUpdateNetwork() : decAbc.c
• Dec_GraphVar() : dec.h , deco.h
• Dec_GraphVarInt() : deco.h , dec.h
• Dec_IntToEdge() : dec.h , deco.h
• Dec_IntToEdge_() : dec.h , deco.h
• Dec_ManStart() : dec.h , decMan.c
• Dec_ManStop() : dec.h , decMan.c
• Dec_SopToAig() : decAbc.c
• default_bzalloc() : bzlib.c
• default_bzfree() : bzlib.c
• define_cube_size() : cubehack.c
• deflate() : deflate.c
• deflate_fast() : deflate.c
• deflate_huff() : deflate.c
• deflate_rle() : deflate.c
• deflate_slow() : deflate.c
• deflate_stored() : deflate.c
• deflateBound() : deflate.c
• deflateCopy() : deflate.c
• deflateEnd() : deflate.c
• deflateInit2_() : deflate.c
• deflateInit_() : deflate.c
• deflateParams() : deflate.c
• deflatePrime() : deflate.c
• deflateReset() : deflate.c
• deflateSetDictionary() : deflate.c
• deflateSetHeader() : deflate.c
• deflateTune() : deflate.c
• delCellFromPartition() : place_base.c
• delConcreteCell() : place_base.c , place_base.h
• delConcreteNet() : place_base.c , place_base.h
• delete_arg() : misc/espresso/main.c
• delNetConnections() : place_test.c
• delvar() : espresso.h , pair.c
• desc1() : espresso.h , setc.c
• descend() : abcSaucy.c , setc.c , espresso.h
• descend_left() : abcSaucy.c
• descend_leftmost() : abcSaucy.c
• detect_data_type() : trees.c
• disassemble_fsm() : hack.c
• dist_merge() : espresso.h , contain.c
• do_backtrack() : abcSaucy.c
• do_check_tree() : avl.c
• do_find_min() : abcSaucy.c
• do_minimize() : exact.c
• do_rebalance() : avl.c
• do_search() : abcSaucy.c
• do_sm_minimum_cover() : sminterf.c , espresso.h
• double_check_OPP_isomorphism() : abcSaucy.c
• dp2() : cuddUtil.c
• drand() : satSolver.c , msatSort.c , satSolver2.c
• driverToPoNew() : arenaViolation.c
• Dsd_CheckCacheAllocate() : dsdCheck.c , dsdInt.h
• Dsd_CheckCacheClear() : dsdCheck.c , dsdInt.h
• Dsd_CheckCacheDeallocate() : dsdCheck.c , dsdInt.h
• Dsd_CheckRootFunctionIdentity() : dsdCheck.c , dsdInt.h
• Dsd_CheckRootFunctionIdentity_rec() : dsdCheck.c
• Dsd_Decompose() : dsd.h , dsdProc.c
• Dsd_DecomposeOne() : dsdProc.c , dsd.h
• Dsd_ManagerReadConst1() : dsdApi.c , dsd.h
• Dsd_ManagerReadDd() : dsdApi.c , dsd.h
• Dsd_ManagerReadInput() : dsd.h , dsdApi.c
• Dsd_ManagerReadRoot() : dsdApi.c , dsd.h
• Dsd_ManagerStart() : dsd.h , dsdMan.c
• Dsd_ManagerStop() : dsdMan.c , dsd.h
• Dsd_NodePrint() : dsdTree.c , dsd.h
• Dsd_NodePrint_rec() : dsdTree.c
• Dsd_NodeReadDec() : dsd.h , dsdApi.c
• Dsd_NodeReadDecs() : dsdApi.c , dsd.h
• Dsd_NodeReadDecsNum() : dsd.h , dsdApi.c
• Dsd_NodeReadFunc() : dsd.h , dsdApi.c
• Dsd_NodeReadMark() : dsd.h , dsdApi.c
• Dsd_NodeReadSupp() : dsd.h , dsdApi.c
• Dsd_NodeReadType() : dsd.h , dsdApi.c
• Dsd_NodeSetMark() : dsdApi.c , dsd.h
• Dsd_TreeCollectDecomposableVars() : dsdTree.c , dsd.h
• 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() : dsdTree.c , dsd.h
• Dsd_TreeFunc2Truth_rec() : dsdTree.c
• Dsd_TreeGetAigCost() : dsd.h , dsdTree.c
• Dsd_TreeGetAigCost_rec() : dsdTree.c
• Dsd_TreeGetInfo_rec() : dsdTree.c
• Dsd_TreeGetPrimeFunction() : dsd.h , dsdLocal.c
• Dsd_TreeGetPrimeFunctionOld() : dsdInt.h , dsdTree.c
• Dsd_TreeNodeCreate() : dsdInt.h , dsdTree.c
• Dsd_TreeNodeDelete() : dsdInt.h , dsdTree.c
• Dsd_TreeNodeGetInfo() : dsd.h , dsdTree.c
• Dsd_TreeNodeGetInfoOne() : dsd.h , dsdTree.c
• Dsd_TreePrint() : dsdTree.c , dsd.h
• Dsd_TreePrint2() : dsdTree.c , dsd.h
• Dsd_TreePrint2_rec() : dsdTree.c
• Dsd_TreePrint_rec() : dsdTree.c
• Dsd_TreeUnmark() : dsdTree.c , dsdInt.h
• 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
• Dsm_ManDeriveGia() : dau.h , dauGia.c
• Dsm_ManReportStats() : dauGia.c
• Dsm_ManTruthToGia() : dauGia.c , dau.h
• Dss_EntPrint() : dauTree.c
• Dss_EntWordNum() : dauTree.c
• Dss_FunWordNum() : dauTree.c
• Dss_IsComplement() : dauTree.c
• Dss_Lit2Lit() : dauTree.c
• Dss_Lit2Obj() : dauTree.c
• Dss_ManAlloc() : dau.h , dauTree.c
• Dss_ManBooleanAnd() : dauTree.c
• Dss_ManCacheAlloc() : dauTree.c
• Dss_ManCacheCreate() : dauTree.c
• Dss_ManCacheFree() : dauTree.c
• Dss_ManCacheHashKey() : dauTree.c
• Dss_ManCacheLookup() : dauTree.c
• Dss_ManCacheProfile() : dauTree.c
• Dss_ManCheckNonDec_rec() : dauTree.c
• Dss_ManComputeTruth() : dauTree.c
• Dss_ManComputeTruth_rec() : dauTree.c
• Dss_ManDump() : dauTree.c
• Dss_ManFree() : dauTree.c , dau.h
• Dss_ManHashProfile() : dauTree.c
• Dss_ManMerge() : dauTree.c , dau.h
• Dss_ManOperation() : dauTree.c
• Dss_ManOperationFun() : dauTree.c
• Dss_ManPrint() : dau.h , dauTree.c
• Dss_ManPrint_rec() : dauTree.c
• Dss_ManPrintOne() : dauTree.c
• Dss_ManSharedMap() : dauTree.c
• Dss_ManSharedMapDerive() : dauTree.c
• Dss_ManTtElems() : dauTree.c
• Dss_Not() : dauTree.c
• Dss_NotCond() : dauTree.c
• Dss_NtkAlloc() : dauTree.c
• Dss_NtkCheck() : dauTree.c
• Dss_NtkCollectPerm_rec() : dauTree.c
• Dss_NtkCreate() : dauTree.c
• Dss_NtkCreate_rec() : dauTree.c
• Dss_NtkFree() : dauTree.c
• Dss_NtkPrint() : dauTree.c
• Dss_NtkPrint_rec() : dauTree.c
• Dss_NtkRebuild() : dauTree.c
• Dss_NtkRebuild_rec() : dauTree.c
• Dss_NtkTransform() : dauTree.c
• Dss_Obj2Lit() : dauTree.c
• Dss_ObjAlloc() : dauTree.c
• Dss_ObjAllocNtk() : dauTree.c
• Dss_ObjCheckTransparent() : dauTree.c
• Dss_ObjChild() : dauTree.c
• Dss_ObjClean() : dauTree.c
• Dss_ObjCompare() : dauTree.c
• Dss_ObjCreate() : dauTree.c
• Dss_ObjCreateNtk() : dauTree.c
• Dss_ObjFanin() : dauTree.c
• Dss_ObjFaninC() : dauTree.c
• Dss_ObjFaninNum() : dauTree.c
• Dss_ObjFindOrAdd() : dauTree.c
• Dss_ObjHashKey() : dauTree.c
• Dss_ObjHashLookup() : dauTree.c
• Dss_ObjId() : dauTree.c
• Dss_ObjSort() : dauTree.c
• Dss_ObjSuppSize() : dauTree.c
• Dss_ObjTruth() : dauTree.c
• Dss_ObjType() : dauTree.c
• Dss_ObjWordNum() : dauTree.c
• Dss_Regular() : dauTree.c
• Dss_VecConst0() : dauTree.c
• Dss_VecLitSuppSize() : dauTree.c
• Dss_VecObj() : dauTree.c
• Dss_VecVar() : dauTree.c
• Dss_WordCountOnes() : dauTree.c
• Dtc_ManCompare() : giaFadds.c
• Dtc_ManCompare2() : giaFadds.c
• Dtc_ManComputeCuts() : giaFadds.c
• Dtc_ManCutCheckEqual() : giaFadds.c
• Dtc_ManCutMerge() : giaFadds.c
• Dtc_ManCutMergeOne() : giaFadds.c
• Dtc_ManFindCommonCuts() : giaFadds.c
• Dtc_ManPrintFadds() : giaFadds.c
• Dtc_ObjCleanTruth_rec() : giaFadds.c
• Dtc_ObjComputeTruth() : giaFadds.c
• Dtc_ObjComputeTruth_rec() : giaFadds.c
• Dua_DsdCheckCof0Const0() : dauDsd2.c
• Dua_DsdCheckCofsEqualNot() : dauDsd2.c
• Dua_DsdCheckDecomp() : dauDsd2.c
• Dua_DsdInit() : dauDsd2.c
• Dua_DsdOneVar() : dauDsd2.c
• Dua_DsdRangeVars() : dauDsd2.c
• Dua_DsdRangeVars0() : dauDsd2.c
• Dua_DsdRangeVars0Derive() : dauDsd2.c
• Dua_DsdTest() : dauDsd2.c
• Dua_DsdTryConst() : dauDsd2.c
• Dua_DsdTrySwap() : dauDsd2.c
• Dua_DsdTryVar() : dauDsd2.c
• Dua_DsdTwoVars() : dauDsd2.c
• dump_irredundant() : exact.c