Here is a list of all file members with links to the files they belong to:

- d -

• d1_order() : espresso.h, setc.c
• d1_order_size() : espresso.h
• d1_rm_equal() : contain.c, espresso.h
• d1merge() : contain.c, espresso.h
• d_code : deflate.h
• D_CODES : deflate.h
• 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
• Dad : deflate.h
• Dam_Man_t : 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_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_Cut_t : darInt.h
• Dar_CutForEachLeaf : darInt.h
• Dar_CutPrint() : darCut.c
• Dar_CutSortVars() : darCut.c
• Dar_Factorial() : darPrec.c
• Dar_Lib_t : darLib.c
• Dar_LibAddNode() : darLib.c
• Dar_LibAlloc() : darLib.c
• Dar_LibBuildBest() : darInt.h, darLib.c
• Dar_LibBuildBest_rec() : darLib.c
• Dar_LibBuildClear_rec() : darLib.c
• Dar_LibCreateData() : darLib.c
• Dar_LibCutMarkMffc() : darLib.c
• Dar_LibCutMatch() : darLib.c
• Dar_LibDat_t : 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_t : darLib.c
• Dar_LibObjPrint_rec() : 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_Man_t : darInt.h
• 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() : 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() : 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_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_ObjForEachCut : darInt.h
• Dar_ObjForEachCutAll : darInt.h
• Dar_ObjPrepareCuts() : darCut.c, darInt.h
• Dar_Permutations() : darInt.h, darPrec.c
• Dar_Permutations_rec() : darPrec.c
• Dar_RefactBuildGraph() : darRefact.c
• Dar_RefactTryGraph() : darRefact.c
• Dar_RefPar_t : dar.h
• Dar_RwrPar_t : dar.h
• Dar_Truth4VarNPN() : darInt.h, darPrec.c
• Dar_TruthPermute() : darPrec.c
• Dar_TruthPermute_int() : darPrec.c
• Dar_TruthPolarize() : darPrec.c
• DARK_GRAY : colors.h
• DASH : espresso.h
• datarank : internal.h
• DATE : cadical_version.cpp
• Dau_AddFunction() : dauNpn.c
• Dau_CanonicizeArray() : dauNpn.c
• Dau_CollectNpnFunctions() : dauNpn.c
• Dau_CollectNpnFunctionsArray() : dauNpn.c
• Dau_ConstructAigFromFile() : dauNpn2.c
• Dau_CountCompl() : dauNpn.c
• Dau_CountCompl1() : dauNpn.c
• Dau_CountFuncs() : dauNpn.c
• Dau_CountSymms() : dauNpn.c
• Dau_CountSymms2() : dauNpn.c
• Dau_DecCheckSetTop5() : dauNonDsd.c
• Dau_DecCheckSetTop6() : dauNonDsd.c
• Dau_DecCheckSetTopOld() : 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_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_DecSortSet() : dau.h, dauNonDsd.c
• Dau_DecTrySets() : dauNonDsd.c
• Dau_DecVarReplace() : dauNonDsd.c
• Dau_DecVerify() : dauNonDsd.c
• Dau_Dsd6DecomposeDoubleVars() : dauDsd.c
• Dau_Dsd6DecomposeInternal() : dauDsd.c
• Dau_Dsd6DecomposeSingleVar() : dauDsd.c
• Dau_Dsd6DecomposeTripleVars() : dauDsd.c
• Dau_Dsd6ToTruth() : dau.h, dauDsd.c
• Dau_Dsd6ToTruth_rec() : dauDsd.c
• Dau_Dsd6TruthCompose_rec() : dauDsd.c
• DAU_DSD_AND : dau.h
• DAU_DSD_CONST0 : dau.h
• DAU_DSD_MAX_VAR : dauGia.c
• DAU_DSD_MUX : dau.h
• DAU_DSD_NONE : dau.h
• DAU_DSD_PRIME : dau.h
• Dau_Dsd_t : dauArray.c, dauDsd.c
• DAU_DSD_VAR : dau.h
• DAU_DSD_XOR : dau.h
• Dau_DsdAddToArray() : dauGia.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_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_DsdDecomposeInt() : dauDsd.c
• Dau_DsdDecomposeInternal() : dauDsd.c
• Dau_DsdDecomposeLevel() : dau.h, dauDsd.c
• Dau_DsdDecomposeSingleVar() : dauDsd.c
• Dau_DsdDecomposeTripleVars() : dauDsd.c
• Dau_DsdDepth() : dauArray.c
• Dau_DsdDivisors() : dauDivs.c
• Dau_DsdFindVarNum() : dauDsd.c
• Dau_DsdGenRandPerm() : dauDsd.c
• Dau_DsdLevelVar() : dauDsd.c
• Dau_DsdMerge() : ifMap.c, dau.h, dauMerge.c
• Dau_DsdMergeStatus_rec() : dauMerge.c
• Dau_DsdMergeSubstitute_rec() : 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_DsdPermute() : dauDsd.c
• Dau_DsdPrint() : dauArray.c
• Dau_DsdPrintFromTruth() : dau.h, dauDsd.c
• Dau_DsdPrintFromTruth2() : giaResub.c, giaResub6.c, dauDsd.c
• Dau_DsdPrintFromTruthFile() : dau.h, dauDsd.c
• 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_DsdTruth6Compose_rec() : dauDsd.c
• Dau_DsdTruthCompose_rec() : dau.h, dauDsd.c
• Dau_DsdType_t : dau.h
• Dau_DumpFuncs() : dauNpn.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
• Dau_ExactNpnForClasses() : dauNpn.c
• Dau_ExactNpnPrint() : dauNpn.c
• Dau_FunctionEnum() : dauNpn.c
• Dau_InsertFunction() : dauNpn.c
• DAU_MAX_STR : dau.h
• DAU_MAX_VAR : dau.h
• DAU_MAX_WORD : dau.h
• Dau_NetworkEnum() : dauNpn.c
• Dau_NetworkEnumTest() : dauNpn.c
• Dau_ParseFormula() : dauNpn2.c
• Dau_ParseFormula_rec() : dauNpn2.c
• Dau_ParseFormulaAig() : dauNpn2.c
• Dau_ParseFormulaAig_rec() : dauNpn2.c
• Dau_ParseFormulaAigTest() : dauNpn2.c
• Dau_ParseFormulaEndToken() : dauNpn2.c
• Dau_ParseFormulaTest() : dauNpn2.c
• Dau_PrintStats() : dauNpn.c
• Dau_ReadFile() : dauNpn.c
• Dau_ReadFile2() : dauNpn2.c
• Dau_Sto_t : dauMerge.c
• Dau_TablesSave() : dauNpn.c
• Dau_TruthEnum() : dauNpn.c
• Dau_VerifyFile() : dauNpn2.c
• Dau_VerifyFileTest() : dauNpn2.c
• DBGOPT : options.h
• Dch_AddClausesMux() : dchCnf.c
• Dch_AddClausesSuper() : dchCnf.c
• Dch_CheckChoices() : dchChoice.c
• Dch_Cla_t : dchInt.h
• 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_ClassForEachNode : dchClass.c
• 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_ComputeEquivalences2() : abcDress2.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_Man_t : dchInt.h
• Dch_ManCollectTfoCands() : dchSimSat.c
• Dch_ManCollectTfoCands_rec() : dchSimSat.c
• Dch_ManCreate() : dchInt.h, dchMan.c
• Dch_ManForEachClass : dchClass.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_ObjAddToFrontier() : dchCnf.c
• Dch_ObjCheckSuppRed() : dchChoice.c
• Dch_ObjCheckTfi() : dchChoice.c
• Dch_ObjCheckTfi_rec() : dchChoice.c
• Dch_ObjCountSupp() : dchChoice.c
• Dch_ObjCountSupp_rec() : dchChoice.c
• Dch_ObjMarkTfi_rec() : dchChoice.c
• Dch_Pars_t : dch.h
• Dch_PerformRandomSimulation() : dchSim.c
• DD_GET_SYMM_VARS_TAG : extraBddSymm.c
• DD_P1 : cloud.h
• DD_P2 : cloud.h
• DD_P3 : cloud.h
• DD_P4 : cloud.h
• ddClearFlag2() : extraBddMisc.c
• Dds_Cache_t : dsdCheck.c
• ddSupportStep2() : extraBddMisc.c
• DEALLOC : cadical_kitten.c, allocate.h
• DEALLOC_GENERIC : internal.c
• DEALLOC_LITERAL_INDEXED : internal.c
• DEALLOC_VARIABLE_INDEXED : internal.c
• deallocAigPoIndices() : disjunctiveMonotone.c, monotone.c
• deallocAntecedentConsequentVectorsStruct() : disjunctiveMonotone.c
• deallocateMasterBarrierDisjunctInt() : kliveness.c
• deallocateMasterBarrierDisjunctVecPtrVecInt() : kliveness.c
• deallocateVecOfIntVec() : disjunctiveMonotone.c
• deallocPointersToMonotoneVectors() : monotone.c
• debug : espresso.h, globals.c
• debug1_print() : cvrout.c, espresso.h
• DEBUG_CHECK : fretime.h
• debug_exact_minimization : espresso.h
• debug_print() : cvrout.c, espresso.h
• debug_table : main.h
• DEC : statistics.h
• Dec_Edge_t : dec.h
• Dec_Factor() : dec.h, decFactor.c
• Dec_Graph_t : dec.h
• Dec_GraphDeriveTruth() : dec.h, decUtil.c
• Dec_GraphFactorSop() : decAbc.c
• Dec_GraphForEachLeaf : dec.h, deco.h
• Dec_GraphForEachNode : dec.h, deco.h
• Dec_GraphPrint() : dec.h, decPrint.c
• Dec_GraphPrint2_rec() : decPrint.c
• 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() : abcOrchestration.c, decAbc.c
• Dec_Man_t : dec.h
• Dec_ManStart() : dec.h, decMan.c
• Dec_ManStop() : dec.h, decMan.c
• Dec_Node_t : dec.h
• Dec_SopToAig() : decAbc.c
• decide_wrapper : internal.hpp
• DECISION_REASON : assign.h
• DECISIONS : statistics.h
• DEF_MEM_LEVEL : zutil.h
• DEF_WBITS : zutil.h
• DefaultConfig : xsatSolverAPI.c
• define_cube_size() : cubehack.c
• definition_extractor : definition.c
• deflate() : deflate.c
• deflate_copyright : deflate.c
• deflate_fast() : deflate.c
• deflate_huff() : deflate.c
• deflate_rle() : deflate.c
• deflate_slow() : deflate.c
• deflate_state : deflate.h
• deflate_stored() : deflate.c
• deflateBound() : deflate.c
• deflateCopy() : deflate.c
• deflateEnd() : deflate.c
• deflateInit : zlib.h
• deflateInit2 : zlib.h
• deflateInit2_() : deflate.c
• deflateInit_() : deflate.c
• deflateParams() : deflate.c
• deflatePrime() : deflate.c
• deflateReset() : deflate.c
• deflateSetDictionary() : deflate.c
• deflateSetHeader() : deflate.c
• deflateTune() : deflate.c
• delay : kimits.h
• DELAYING : kimits.h
• delays : kimits.h
• delCellFromPartition() : place_base.c
• delConcreteCell() : place_base.c, place_base.h
• delConcreteNet() : place_base.c, place_base.h
• delete_arg() : main.c
• DELETE_BINARY_FROM_PROOF : proof.h
• DELETE_CLAUSE_FROM_PROOF : proof.h
• DELETE_LITS_FROM_PROOF : proof.h
• delete_proof_chain : congruence.c
• DELETE_STACK_FROM_PROOF : proof.h
• DELETE_TERNARY_FROM_PROOF : proof.h
• delNetConnections() : place_test.c
• DelocateCover() : exor.h, exorCubes.c
• DelocateCubeSets() : exor.h, exorList.c
• DelocateQueques() : exor.h, exorList.c
• delvar() : espresso.h, pair.c
• DepthBwd : nwkFlow_depth.c
• DepthBwdMax : nwkFlow_depth.c
• DepthFwd : nwkFlow_depth.c
• DepthFwdMax : nwkFlow_depth.c
• DEPTHOF : huffman.c
• DEQUEUE_FIFO : fifo.h
• desc1() : espresso.h, setc.c
• descend() : espresso.h, setc.c
• detect_data_type() : trees.c
• dfsfast_e() : fretFlow.c, fretime.h
• dfsfast_preorder() : fretFlow.c, fretime.h
• dfsfast_r() : fretFlow.c, fretime.h
• dfsplain_e() : fretFlow.c, fretime.h
• dfsplain_r() : fretFlow.c, fretime.h
• DICT : inflate.h
• DICTID : inflate.h
• DIFFERENT : exor.h
• DIR : build.h
• disassemble_fsm() : hack.c
• DISCONNECT : queue.h
• DISCONNECTED : queue.h
• DISCONTAIN : heap.h
• DISCONTAINED : heap.h
• DISJOINT : espresso.h
• DIST : inflate.h
• Dist : exorList.c
• DIST2 : exor.h
• DIST3 : exor.h
• DIST4 : exor.h
• DIST_CODE_LEN : trees.c
• dist_merge() : contain.c, espresso.h
• DISTEXT : inflate.h
• DISTS : inftrees.h
• DIV_AND : bmcFx.c
• DIV_CST : bmcFx.c
• Div_CubePairs() : bmcFx.c
• Div_CubePrint() : bmcFx.c
• Div_CubePrintOne() : bmcFx.c
• Div_FindDiv() : bmcFx.c
• DIV_MUX : bmcFx.c
• DIV_NONE : bmcFx.c
• Div_Type_t : bmcFx.c
• DIV_XOR : bmcFx.c
• dll_unlink : sparse_int.h
• DO1 : adler32.c, crc32.c
• DO16 : adler32.c
• DO2 : adler32.c
• DO4 : adler32.c
• DO8 : adler32.c, crc32.c
• do_hash : st.c, stmm.c
• do_sm_minimum_cover() : espresso.h, sminterf.c
• DONE : inflate.h
• 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
• DOWNHEAP : huffman.c
• DR_type : espresso.h
• driverToPoNew() : arenaViolation.c
• DROPBITS : infback.c, inflate.c
• drow : exor.h
• Dsc_alloc_pool() : dsc.c, dsc.h
• dsc_and_group() : dsc.c
• Dsc_ComputeMatches() : dsc.c, dsc.h
• Dsc_CountAnds() : dsc.c, dsc.h
• Dsc_CountAnds_rec() : dsc.c, dsc.h
• Dsc_Decompose() : dsc.c, dsc.h
• Dsc_free_pool() : dsc.c, dsc.h
• DSC_MAX_STR : dsc.h
• DSC_MAX_VAR : dsc.h
• Dsc_node_t : dsc.c
• dsc_xor_group() : dsc.c
• DSD_ARRAY_LIMIT : ifDsd.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_CLASS_NUM : extraUtilDsd.c
• Dsd_Decompose() : dsd.h, dsdProc.c
• Dsd_DecomposeOne() : dsd.h, dsdProc.c
• Dsd_Entry_t : dsdCheck.c
• Dsd_IsComplement : dsd.h
• Dsd_Manager_t : dsd.h
• Dsd_ManagerReadConst1() : dsd.h, dsdApi.c
• Dsd_ManagerReadDd() : dsd.h, dsdApi.c
• Dsd_ManagerReadInput() : dsd.h, dsdApi.c
• Dsd_ManagerReadRoot() : dsd.h, dsdApi.c
• Dsd_ManagerStart() : dsd.h, dsdMan.c
• Dsd_ManagerStop() : dsd.h, dsdMan.c
• DSD_NODE_BUF : dsd.h
• DSD_NODE_CONST1 : dsd.h
• DSD_NODE_EXOR : dsd.h
• DSD_NODE_NONE : dsd.h
• DSD_NODE_OR : dsd.h
• DSD_NODE_PRIME : dsd.h
• Dsd_Node_t : dsd.h
• Dsd_NodeForEachChild : dsd.h
• Dsd_NodePrint() : dsd.h, 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() : dsd.h, dsdApi.c
• Dsd_NodeReadSupp() : dsd.h, dsdApi.c
• Dsd_NodeReadType() : dsd.h, dsdApi.c
• Dsd_NodeSetMark() : dsd.h, dsdApi.c
• Dsd_Not : dsd.h
• Dsd_NotCond : dsd.h
• Dsd_Regular : dsd.h
• Dsd_TreeCollectDecomposableVars() : dsd.h, dsdTree.c
• Dsd_TreeCollectNodesDfs() : dsd.h, dsdTree.c
• Dsd_TreeCollectNodesDfsOne() : dsd.h, dsdTree.c
• Dsd_TreeCountNonTerminalNodes() : dsd.h, dsdTree.c
• Dsd_TreeCountNonTerminalNodesOne() : dsd.h, dsdTree.c
• Dsd_TreeCountPrimeNodes() : dsd.h, dsdTree.c
• Dsd_TreeCountPrimeNodesOne() : dsd.h, dsdTree.c
• Dsd_TreeFunc2Truth_rec() : dsdTree.c
• Dsd_TreeGetAigCost() : dsd.h, dsdTree.c
• Dsd_TreeGetAigCost_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_TreeNonDsdMax() : dsd.h, dsdTree.c
• Dsd_TreeNonDsdMax_rec() : dsdTree.c
• Dsd_TreePrint() : dsd.h, dsdTree.c
• Dsd_TreePrint2() : dsd.h, dsdTree.c
• Dsd_TreePrint2_rec() : dsdTree.c
• Dsd_TreePrint3() : dsd.h, dsdTree.c
• Dsd_TreePrint3_rec() : dsdTree.c
• Dsd_TreePrint4() : dsd.h, dsdTree.c
• Dsd_TreePrint4_rec() : dsdTree.c
• Dsd_TreeSuppSize() : dsd.h, dsdTree.c
• Dsd_TreeSuppSize_rec() : dsdTree.c
• Dsd_TreeUnmark() : dsdInt.h, dsdTree.c
• Dsd_Type_t : dsd.h
• Dsd_Type_t_ : dsd.h
• DSD_VERSION : ifDsd.c
• dsdKernelDecompose() : dsdProc.c
• dsharp() : espresso.h, sharp.c
• Dsm_ManDeriveGia() : dau.h, dauGia.c
• Dsm_ManReportStats() : dauGia.c
• Dsm_ManTruthToGia() : dau.h, dauGia.c
• Dss_Ent_t : dauTree.c
• Dss_EntPrint() : dauTree.c
• Dss_Fun_t : dauTree.c
• Dss_Man_t : dau.h
• Dss_ManAlloc() : dau.h, dauTree.c
• Dss_ManBooleanAnd() : dauTree.c
• Dss_ManCacheAlloc() : dauTree.c
• Dss_ManCacheCreate() : dauTree.c
• Dss_ManCacheFree() : 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() : dau.h, dauTree.c
• Dss_ManHashProfile() : dauTree.c
• Dss_ManMerge() : dau.h, dauTree.c
• 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_Ntk_t : 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_Obj_t : dauTree.c
• Dss_ObjAlloc() : dauTree.c
• Dss_ObjAllocNtk() : dauTree.c
• Dss_ObjCheckTransparent() : dauTree.c
• Dss_ObjCompare() : dauTree.c
• Dss_ObjCreate() : dauTree.c
• Dss_ObjCreateNtk() : dauTree.c
• Dss_ObjFindOrAdd() : dauTree.c
• Dss_ObjForEachChild : dauTree.c
• Dss_ObjForEachFanin : dauTree.c
• Dss_ObjHashLookup() : dauTree.c
• Dss_ObjSort() : dauTree.c
• Dss_VecForEachNode : dauTree.c
• Dss_VecForEachObj : dauTree.c
• Dss_VecForEachObjVec : dauTree.c
• Dtc_ForEachCut : acecFadds.c
• Dtc_ForEachFadd : acecFadds.c
• Dtc_ManCompare() : acecFadds.c
• Dtc_ManCompare2() : acecFadds.c
• Dtc_ManComputeCuts() : acecFadds.c
• Dtc_ManCutCheckEqual() : acecFadds.c
• Dtc_ManCutMerge() : acecFadds.c
• Dtc_ManCutMergeOne() : acecFadds.c
• Dtc_ManFindCommonCuts() : acecFadds.c
• Dtc_ManPrintFadds() : acecFadds.c
• Dtc_ObjCleanTruth_rec() : acecFadds.c
• Dtc_ObjComputeTruth() : acecFadds.c
• Dtc_ObjComputeTruth_rec() : acecFadds.c
• Dtt_Check() : dauNpn2.c
• Dtt_ComposeNP() : dauNpn2.c
• Dtt_DumpLibrary() : dauNpn2.c
• Dtt_EnumerateLf() : dauNpn2.c
• Dtt_FindNP() : dauNpn2.c
• Dtt_FunImpl2Str() : dauNpn2.c
• Dtt_FunImpl_t : dauNpn2.c
• Dtt_FunImplFI2Str() : dauNpn2.c
• Dtt_MakeFormula() : dauNpn2.c
• Dtt_MakeFormulaFI2() : dauNpn2.c
• Dtt_MakePI() : dauNpn2.c
• Dtt_Man_t : dauNpn2.c
• Dtt_ManAddFunction() : dauNpn2.c
• Dtt_ManAddVisited() : dauNpn2.c
• Dtt_ManAlloc() : dauNpn2.c
• Dtt_ManCheckHash() : dauNpn2.c
• Dtt_ManCollect() : dauNpn2.c
• Dtt_ManFree() : dauNpn2.c
• Dtt_ManLoadClasses() : dauNpn2.c
• Dtt_ManProcessVisited() : dauNpn2.c
• Dtt_ManRenum() : dauNpn2.c
• Dtt_PrintDistrib() : dauNpn2.c
• Dtt_PrintMulti() : dauNpn2.c
• Dtt_PrintMulti1() : dauNpn2.c
• Dtt_PrintMulti2() : dauNpn2.c
• Dtt_PrintStats() : dauNpn2.c
• Dtt_ProcessType() : dauNpn2.c
• Dua_Dsd_t : dauDsd2.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
• Dua_Obj_t : dauDsd2.c
• DYN_TREES : zutil.h
• DYNAMICNBLEVEL : Constants.h