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

- m -

• M() : kitPerm.c
• M114p_SolverAddClause() : m114p.h
• M114p_SolverDelete() : m114p.h
• M114p_SolverGetConflictNum() : m114p.h
• M114p_SolverGetFirstChain() : m114p.h
• M114p_SolverGetFirstRoot() : m114p.h
• M114p_SolverGetNextChain() : m114p.h
• M114p_SolverGetNextRoot() : m114p.h
• M114p_SolverNew() : m114p.h
• M114p_SolverPrintStats() : m114p.h
• M114p_SolverProofClauseNum() : m114p.h
• M114p_SolverProofIsReady() : m114p.h
• M114p_SolverProofSave() : m114p.h
• M114p_SolverSetVarNum() : m114p.h
• M114p_SolverSimplify() : m114p.h
• M114p_SolverSolve() : m114p.h
• Macc_ConstMultGenerate() : extraUtilMacc.c
• Macc_ConstMultGenMacc() : extraUtilMacc.c
• Macc_ConstMultGenMacc2() : extraUtilMacc.c
• Macc_ConstMultGenMult() : extraUtilMacc.c
• Macc_ConstMultGenOne_rec() : extraUtilMacc.c
• Macc_ConstMultGenTest() : extraUtilMacc.c
• Macc_ConstMultGenTest0() : extraUtilMacc.c
• Macc_ConstMultSpecOne() : extraUtilMacc.c
• Macc_ConstMultSpecOne2() : extraUtilMacc.c
• Macc_ConstMultSpecTest() : extraUtilMacc.c
• main() : main.c, mainInt.h, mainMC.c, demo.c, main.c, place_test.c, starter.c
• MainSat() : MainSat.cpp
• MainSimp() : MainSimp.cpp
• Maj3_ManAddCnf() : bmcMaj3.c
• Maj3_ManAddCnfStart() : bmcMaj3.c
• Maj3_ManAddConstraintsLazy() : bmcMaj3.c
• Maj3_ManAlloc() : bmcMaj3.c
• Maj3_ManExactSynthesis() : bmcMaj3.c
• Maj3_ManFirstAndLevel() : bmcMaj3.c
• Maj3_ManFree() : bmcMaj3.c
• Maj3_ManMarkup() : bmcMaj3.c
• Maj3_ManTest() : bmcMaj3.c
• Maj3_ManTruthTables() : bmcMaj3.c
• Maj3_ManVarMapPrint() : bmcMaj3.c
• Maj3_PrintClause() : bmcMaj3.c
• Maj_ManAddCnf() : bmcMaj.c
• Maj_ManAddCnfStart() : bmcMaj.c
• Maj_ManAlloc() : bmcMaj.c
• Maj_ManExactSynthesis() : bmcMaj.c
• Maj_ManExactSynthesis2() : bmcMaj2.c
• Maj_ManExactSynthesisTest() : bmcMaj2.c
• Maj_ManFree() : bmcMaj.c
• Maj_ManMarkup() : bmcMaj.c
• Maj_ManPrintSolution() : bmcMaj.c
• Maj_ManTruthTables() : bmcMaj.c
• Maj_ManValue() : bmcMaj.c
• make_disjoint() : espresso.h, sharp.c
• make_sparse() : espresso.h, sparse.c
• makeArray() : lucky.c
• makeArrayB() : lucky.c
• makeup_labels() : cvrout.c, espresso.h
• malloc() : util_old.h
• map() : espresso.h, map.c
• Map_CalculatePhase() : mapperTree.c
• Map_CalculatePhase6() : mapperTree.c
• Map_CanonComputeFast() : mapper.h, mapperCanon.c
• Map_CanonComputeSlow() : mapper.h, mapperCanon.c
• Map_CompareNodesByLevel() : mapperUtils.c
• Map_CompareNodesByPointer() : mapperUtils.c
• map_cover_to_unate() : espresso.h, unate.c
• Map_CreateTableGate2Super() : mapper.h, mapperUtils.c
• Map_CutAlloc() : mapper.h, mapperCutUtils.c, mapperInt.h
• Map_CutCreateFromNode() : mapper.h
• Map_CutDeref() : mapperInt.h, mapperRefs.c
• Map_CutFree() : mapperCutUtils.c, mapperInt.h
• Map_CutGetAreaDerefed() : mapperInt.h, mapperRefs.c
• Map_CutGetAreaFlow() : mapperInt.h, mapperRefs.c
• Map_CutGetAreaRefed() : mapperInt.h, mapperRefs.c
• Map_CutGetLeafPhase() : mapperCutUtils.c, mapperInt.h
• Map_CutGetRootArea() : mapperCutUtils.c, mapperInt.h
• Map_CutInsertFanouts() : mapperInt.h
• Map_CutInternalNodes() : mapper.h, mapperCutUtils.c
• Map_CutInternalNodes_rec() : mapperCutUtils.c
• Map_CutListAppend() : mapperCutUtils.c, mapperInt.h
• Map_CutListCount() : mapperCutUtils.c, mapperInt.h
• Map_CutListRecycle() : mapperCutUtils.c, mapperInt.h
• Map_CutMergeLists2() : mapperCut.c
• Map_CutPrint() : mapperCutUtils.c, mapperInt.h
• Map_CutReadLeaves() : mapper.h, mapperCreate.c
• Map_CutReadLeavesNum() : mapper.h, mapperCreate.c
• Map_CutReadNext() : mapper.h, mapperCreate.c
• Map_CutReadPhase0() : mapper.h, mapperCreate.c
• Map_CutReadPhase1() : mapper.h, mapperCreate.c
• Map_CutReadPhaseBest() : mapper.h, mapperCreate.c
• Map_CutReadSuper0() : mapper.h, mapperCreate.c
• Map_CutReadSuper1() : mapper.h, mapperCreate.c
• Map_CutReadSuperBest() : mapper.h, mapperCreate.c
• Map_CutRef() : mapperInt.h, mapperRefs.c
• Map_CutRefDeref() : mapperRefs.c
• Map_CutRemoveFanouts() : mapperInt.h
• Map_CutSortCutsCompare() : mapperCut.c
• map_dcset() : espresso.h, hack.c
• Map_End() : mainInit.c, mapper.c
• Map_Init() : mainInit.c, mapper.c
• Map_LibraryCompareLibNames() : mapperTree.c
• Map_LibraryDeriveGateInfo() : mapperInt.h, mapperTree.c
• Map_LibraryPrintSupergate() : mapperInt.h, mapperSuper.c
• Map_LibraryPrintTree() : mapperInt.h, mapperTree.c
• Map_LibraryRead() : mapperInt.h, mapperSuper.c
• Map_LibraryReadFileTreeStr() : mapperInt.h, mapperTree.c
• Map_LibraryReadFormulaStep() : mapper.h, mapperSuper.c
• Map_LibraryReadGateTree() : mapperTree.c
• Map_LibraryReadTree() : mapperInt.h, mapperTree.c
• Map_ManCheckConsistency() : mapper.h, mapperUtils.c
• Map_ManCleanData() : mapper.h, mapperUtils.c
• Map_ManCreate() : mapper.h, mapperCreate.c
• Map_ManCreateAigIds() : mapper.h, mapperCreate.c
• Map_ManCreateNodeDelays() : mapper.h, mapperCreate.c
• Map_ManFree() : mapper.h, mapperCreate.c
• Map_ManPrintStatsToFile() : mapper.h, mapperCreate.c
• Map_ManPrintTimeStats() : mapper.h, mapperCreate.c
• Map_ManReadAreaFinal() : mapper.h, mapperCreate.c
• Map_ManReadBufDriver() : mapper.h, mapperCreate.c
• Map_ManReadBufNum() : mapper.h, mapperCreate.c
• Map_ManReadBufs() : mapper.h, mapperCreate.c
• Map_ManReadConst1() : mapper.h, mapperCreate.c
• Map_ManReadFanoutViolations() : mapper.h, mapperCreate.c
• Map_ManReadGenLib() : mapper.h, mapperCreate.c
• Map_ManReadInputArrivals() : mapper.h, mapperCreate.c
• Map_ManReadInputNum() : mapper.h, mapperCreate.c
• Map_ManReadInputs() : mapper.h, mapperCreate.c
• Map_ManReadOutputNum() : mapper.h, mapperCreate.c
• Map_ManReadOutputRequireds() : mapperCreate.c
• Map_ManReadOutputs() : mapper.h, mapperCreate.c
• Map_ManReadPass() : mapper.h
• Map_ManReadRequiredGlo() : mapper.h, mapperCreate.c
• Map_ManReadVerbose() : mapper.h, mapperCreate.c
• Map_ManSetAreaRecovery() : mapper.h, mapperCreate.c
• Map_ManSetChoiceNodeNum() : mapper.h, mapperCreate.c
• Map_ManSetChoiceNum() : mapper.h, mapperCreate.c
• Map_ManSetDelayTarget() : mapper.h, mapperCreate.c
• Map_ManSetFanoutViolations() : mapper.h, mapperCreate.c
• Map_ManSetInputArrivals() : mapper.h, mapperCreate.c
• Map_ManSetNumIterations() : mapper.h, mapperCreate.c
• Map_ManSetObeyFanoutLimits() : mapper.h, mapperCreate.c
• Map_ManSetOutputNames() : mapper.h, mapperCreate.c
• Map_ManSetOutputRequireds() : mapper.h, mapperCreate.c
• Map_ManSetPass() : mapper.h
• Map_ManSetSkipFanout() : mapper.h, mapperCreate.c
• Map_ManSetSwitching() : mapper.h, mapperCreate.c
• Map_ManSetUseProfile() : mapper.h, mapperCreate.c
• Map_ManSetVerbose() : mapper.h, mapperCreate.c
• Map_Mapping() : mapper.h, mapperCore.c
• Map_MappingComputeDelayWithFanouts() : mapperInt.h, mapperUtils.c
• Map_MappingCountAllCuts() : mapperCut.c
• Map_MappingCountDoubles() : mapperInt.h, mapperUtils.c
• Map_MappingCountLevels() : mapperInt.h, mapperUtils.c
• Map_MappingCuts() : mapperCut.c, mapperInt.h
• Map_MappingCutsInput() : mapperCut.c
• Map_MappingDfs() : mapperInt.h, mapperUtils.c
• Map_MappingDfs_rec() : mapperUtils.c
• Map_MappingEstimateRefs() : mapperInt.h, mapperRefs.c
• Map_MappingEstimateRefsInit() : mapperInt.h, mapperRefs.c
• Map_MappingExpandTruth() : mapperInt.h, mapperUtils.c
• Map_MappingGetArea() : mapperInt.h, mapperRefs.c
• Map_MappingGetAreaFlow() : mapperInt.h, mapperUtils.c
• Map_MappingGetMaxLevel() : mapperInt.h, mapperUtils.c
• Map_MappingGetSwitching() : mapperInt.h, mapperSwitch.c
• Map_MappingMark_rec() : mapperInt.h, mapperUtils.c
• Map_MappingMatches() : mapperInt.h, mapperMatch.c
• Map_MappingNodeIsViolator() : mapperInt.h, mapperUtils.c
• Map_MappingPrintOutputArrivals() : mapperInt.h, mapperUtils.c
• Map_MappingPrintSwitching() : mapperInt.h
• Map_MappingPrintWirelength() : mapperInt.h
• Map_MappingReportChoices() : mapperInt.h, mapperUtils.c
• Map_MappingSetChoiceLevels() : mapperInt.h, mapperUtils.c
• Map_MappingSetPiArrivalTimes() : mapperMatch.c
• Map_MappingSetPlacementInfo() : mapperInt.h
• Map_MappingSetRefs() : mapperInt.h, mapperRefs.c
• Map_MappingSetRefs_rec() : mapperRefs.c
• Map_MappingSetupMask() : mapperInt.h, mapperUtils.c
• Map_MappingSetupTruthTables() : mapper.h, mapperUtils.c
• Map_MappingSetupTruthTablesLarge() : mapper.h, mapperUtils.c
• Map_MappingSortByLevel() : mapperInt.h, mapperUtils.c
• Map_MappingTruths() : mapperInt.h, mapperTruth.c
• Map_MappingUnmark() : mapperInt.h, mapperUtils.c
• Map_MappingUnmark_rec() : mapperInt.h, mapperUtils.c
• Map_MappingUpdateLevel_rec() : mapperUtils.c
• Map_MappingWireReport() : mapperInt.h
• Map_MatchClean() : mapperMatch.c
• Map_MatchCompare() : mapperMatch.c
• Map_MatchComputeReqTimes() : mapperTime.c
• Map_MatchNodeCut() : mapperMatch.c
• Map_MatchNodePhase() : mapperMatch.c
• Map_NetworkSweep() : mapper.h
• Map_NodeAddFaninFanout() : mapperInt.h
• Map_NodeAnd() : mapper.h, mapperCreate.c
• Map_NodeBuf() : mapper.h, mapperCreate.c
• Map_NodeComparePhase() : mapper.h, mapperCreate.c
• Map_NodeCreate() : mapper.h, mapperCreate.c
• Map_NodeDecRefPhaseAct() : mapperRefs.c
• Map_NodeGetFanoutNum() : mapperInt.h
• Map_NodeGetLeafPhase() : mapperCutUtils.c, mapperInt.h
• Map_NodeIncRefPhaseAct() : mapperRefs.c
• Map_NodeIsAnd() : mapper.h, mapperCreate.c
• Map_NodeIsBuf() : mapper.h, mapperCreate.c
• Map_NodeIsConst() : mapper.h, mapperCreate.c
• Map_NodeIsVar() : mapper.h, mapperCreate.c
• Map_NodeReadAigId() : mapper.h, mapperCreate.c
• Map_NodeReadCutBest() : mapper.h, mapperCreate.c
• Map_NodeReadCuts() : mapper.h, mapperCreate.c
• Map_NodeReadData() : mapper.h, mapperCreate.c
• Map_NodeReadLevel() : mapper.h, mapperCreate.c
• Map_NodeReadMan() : mapper.h, mapperCreate.c
• Map_NodeReadNum() : mapper.h, mapperCreate.c
• Map_NodeReadOne() : mapper.h, mapperCreate.c
• Map_NodeReadRefPhaseAct() : mapperRefs.c
• Map_NodeReadRefPhaseEst() : mapperRefs.c
• Map_NodeReadTwo() : mapper.h, mapperCreate.c
• Map_NodeRemoveFaninFanout() : mapperInt.h
• Map_NodeSetAigId() : mapper.h, mapperCreate.c
• Map_NodeSetChoice() : mapper.h, mapperCreate.c
• Map_NodeSetData() : mapper.h, mapperCreate.c
• Map_NodeSetNextE() : mapper.h, mapperCreate.c
• Map_NodeSetRepr() : mapper.h, mapperCreate.c
• Map_NodeSetSwitching() : mapper.h, mapperCreate.c
• Map_NodeTransferArrivalTimes() : mapperMatch.c
• Map_NodeTryDroppingOnePhase() : mapperMatch.c
• Map_NodeVecAlloc() : mapperInt.h, mapperVec.c
• Map_NodeVecClear() : mapperInt.h, mapperVec.c
• Map_NodeVecDup() : mapperInt.h, mapperVec.c
• Map_NodeVecFree() : mapperInt.h, mapperVec.c
• Map_NodeVecGrow() : mapperInt.h, mapperVec.c
• Map_NodeVecPop() : mapperInt.h, mapperVec.c
• Map_NodeVecPush() : mapperInt.h, mapperVec.c
• Map_NodeVecPushUnique() : mapperInt.h, mapperVec.c
• Map_NodeVecReadArray() : mapperInt.h, mapperVec.c
• Map_NodeVecReadEntry() : mapperInt.h, mapperVec.c
• Map_NodeVecReadSize() : mapperInt.h, mapperVec.c
• Map_NodeVecRemove() : mapperInt.h, mapperVec.c
• Map_NodeVecShrink() : mapperInt.h, mapperVec.c
• Map_NodeVecSortByLevel() : mapperInt.h, mapperVec.c
• Map_NodeVecWriteEntry() : mapperInt.h, mapperVec.c
• map_output_symbolic() : espresso.h, hack.c
• Map_SuperLibCreate() : mapperInt.h, mapperLib.c
• Map_SuperLibDeriveFromGenlib() : mapper.h, mapperLib.c
• Map_SuperLibDeriveFromGenlib2() : mapperLib.c
• Map_SuperLibFree() : mapper.h, mapperInt.h, mapperLib.c
• Map_SuperLibReadAreaInv() : mapper.h, mapperCreate.c
• Map_SuperLibReadDelayInv() : mapper.h, mapperCreate.c
• Map_SuperLibReadGenLib() : mapper.h, mapperCreate.c
• Map_SuperLibReadVarsMax() : mapper.h, mapperCreate.c
• Map_SuperReadFaninNum() : mapper.h, mapperCreate.c
• Map_SuperReadFanins() : mapper.h, mapperCreate.c
• Map_SuperReadFanoutLimit() : mapper.h, mapperCreate.c
• Map_SuperReadFormula() : mapper.h, mapperCreate.c
• Map_SuperReadNext() : mapper.h, mapperCreate.c
• Map_SuperReadNum() : mapper.h, mapperCreate.c
• Map_SuperReadNumPhases() : mapper.h, mapperCreate.c
• Map_SuperReadPhases() : mapper.h, mapperCreate.c
• Map_SuperReadRoot() : mapper.h, mapperCreate.c
• Map_SuperTableCompareGatesInList() : mapperTable.c
• Map_SuperTableCompareSupergates() : mapperTable.c
• Map_SuperTableCreate() : mapperInt.h, mapperTable.c
• Map_SuperTableFree() : mapperInt.h, mapperTable.c
• Map_SuperTableInsert() : mapperInt.h, mapperTable.c
• Map_SuperTableInsertC() : mapperInt.h, mapperTable.c
• Map_SuperTableLookup() : mapperInt.h, mapperTable.c
• Map_SuperTableLookupC() : mapper.h, mapperTable.c
• Map_SuperTableSortSupergates() : mapperInt.h, mapperTable.c
• Map_SuperTableSortSupergatesByDelay() : mapperInt.h, mapperTable.c
• Map_SwitchCutDeref() : mapperInt.h, mapperSwitch.c
• Map_SwitchCutGetDerefed() : mapperInt.h, mapperSwitch.c
• Map_SwitchCutRef() : mapperInt.h, mapperSwitch.c
• map_symbolic() : espresso.h, hack.c
• map_symbolic_cover() : espresso.h, hack.c
• Map_TimeComputeArrivalMax() : mapperInt.h, mapperTime.c
• Map_TimeComputeRequiredGlobal() : mapperInt.h, mapperTime.c
• Map_TimeCutComputeArrival() : mapperInt.h, mapperTime.c
• Map_TimeMatchWithInverter() : mapperMatch.c
• Map_TimePropagateRequired() : mapperTime.c
• Map_TimePropagateRequiredPhase() : mapperTime.c
• Map_TruthCountOnes() : mapperInt.h
• Map_TruthDetectTwoFirst() : mapperInt.h
• Map_TruthsCutDontCare() : mapperInt.h
• Map_TruthsCutOne() : mapperTruth.c
• map_unate_to_cover() : espresso.h, unate.c
• Map_Var3Print() : extraUtilCanon.c
• Map_Var3Test() : extraUtilCanon.c
• Map_Var4Test() : extraUtilCanon.c
• mark_irredundant() : espresso.h, irred.c
• massive_count() : cofactor.c, espresso.h
• match1by1() : abcBm.c
• matchNonSingletonOutputs() : abcBm.c
• Mem_FixedEntryFetch() : mem.c, mem.h
• Mem_FixedEntryRecycle() : mem.c, mem.h
• Mem_FixedReadMaxEntriesUsed() : mem.c, mem.h
• Mem_FixedReadMemUsage() : mem.c, mem.h
• Mem_FixedRestart() : mem.c, mem.h
• Mem_FixedStart() : mem.c, mem.h
• Mem_FixedStop() : mem.c, mem.h
• Mem_FlexEntryFetch() : mem.c, mem.h
• Mem_FlexReadMemUsage() : mem.c, mem.h
• Mem_FlexRestart() : mem.c, mem.h
• Mem_FlexStart() : mem.c, mem.h
• Mem_FlexStop() : mem.c, mem.h
• Mem_FlexStop2() : mem.c, mem.h
• Mem_StepEntryFetch() : mem.c, mem.h
• Mem_StepEntryRecycle() : mem.c, mem.h
• Mem_StepReadMemUsage() : mem.c, mem.h
• Mem_StepStart() : mem.c, mem.h
• Mem_StepStop() : mem.c, mem.h
• memccpy() : util_old.h
• memchr() : util_old.h
• memcmp() : util_old.h
• memCompare() : lucky.c, luckyInt.h
• memcpy() : util_old.h
• memmove() : util_old.h
• memset() : util_old.h
• Mf_CutDeref2_rec() : giaMf.c
• Mf_CutDeref_rec() : giaMf.c
• Mf_CutRef2_rec() : giaMf.c
• Mf_CutRef_rec() : giaMf.c
• Mf_ManAlloc() : giaMf.c
• Mf_ManComputeCuts() : giaMf.c
• Mf_ManComputeMapping() : giaMf.c
• Mf_ManDeriveCnf() : giaMf.c
• Mf_ManDeriveCnfs() : giaMf.c
• Mf_ManDeriveMapping() : giaMf.c
• Mf_ManDeriveMappingCoarse() : giaMf.c
• Mf_ManDeriveMappingGia() : giaMf.c
• Mf_ManDumpCnf() : giaMf.c
• Mf_ManFree() : giaMf.c
• Mf_ManGenerateCnf() : gia.h, giaMf.c, relationGeneration.cpp
• Mf_ManMappingFromMapping() : giaMf.c
• Mf_ManOptimization() : giaMf.c
• Mf_ManOptimizationOne() : giaMf.c
• Mf_ManPerformMapping() : gia.h, giaMf.c
• Mf_ManPrintFanoutProfile() : giaMf.c
• Mf_ManPrintInit() : giaMf.c
• Mf_ManPrintMfccStats() : giaMf.c
• Mf_ManPrintQuit() : giaMf.c
• Mf_ManPrintStats() : giaMf.c
• Mf_ManProfileTruths() : giaMf.c
• Mf_ManSetDefaultPars() : gia.h, giaMf.c
• Mf_ManSetFlowRefs() : giaMf.c
• Mf_ManSetMapRefs() : giaMf.c
• Mf_ManTruthCanonicize() : giaMf.c
• Mf_ManTruthCollect() : giaMf.c
• Mf_ManTruthCount() : giaMf.c
• Mf_ManTruthQuit() : giaMf.c
• Mf_ObjMergeOrder() : giaMf.c
• Mfs_ManAlloc() : mfsInt.h, mfsMan.c
• Mfs_ManClean() : mfsInt.h, mfsMan.c
• Mfs_ManPrint() : mfsMan.c
• Mfs_ManStop() : mfsInt.h, mfsMan.c
• Mig_ManAndNum() : mpmMig.c, mpmMig.h
• Mig_ManCreate() : mpmAbc.c, mpmInt.h
• Mig_ManCreateChoices() : mpmAbc.c
• Mig_ManMuxNum() : mpmMig.c, mpmMig.h
• Mig_ManSetRefs() : mpmMig.c, mpmMig.h
• Mig_ManStart() : mpmMig.c, mpmMig.h
• Mig_ManStop() : mpmMig.c, mpmMig.h
• Mig_ManSuppSize2_rec() : mpmMig.c
• Mig_ManSuppSize_rec() : mpmMig.c
• Mig_ManSuppSizeOne() : mpmMig.c
• Mig_ManSuppSizeTest() : mpmMig.c
• Mig_ManTypeNum() : mpmMig.c
• Mig_ManXorNum() : mpmMig.c, mpmMig.h
• Min_CoverCheck() : covInt.h, covMinUtil.c
• Min_CoverCollect() : covInt.h, covMinUtil.c
• Min_CoverCreate() : covInt.h, covMinUtil.c
• Min_CoverExpand() : covInt.h, covMinUtil.c
• Min_CoverSuppVarNum() : covInt.h, covMinUtil.c
• Min_CoverWrite() : covInt.h, covMinUtil.c
• Min_CoverWriteFile() : covInt.h, covMinUtil.c
• Min_CoverWriteStore() : covInt.h, covMinUtil.c
• Min_CubeCheck() : covInt.h, covMinUtil.c
• Min_CubeCreate() : covMinUtil.c
• Min_CubeWrite() : covInt.h, covMinUtil.c
• Min_EsopAddCube() : covInt.h, covMinEsop.c
• Min_EsopAddCubeInt() : covMinEsop.c
• Min_EsopMinimize() : covInt.h, covMinEsop.c
• Min_LitIsImplied_rec() : giaPat2.c
• Min_LitJustify() : giaPat2.c
• Min_LitJustify_rec() : giaPat2.c
• Min_LitMinimize() : giaPat2.c
• Min_LitVerify() : giaPat2.c
• Min_LitVerify_rec() : giaPat2.c
• Min_ManAccumulate() : giaPat2.c
• Min_ManAlloc() : covInt.h, covMinMan.c
• Min_ManBitPack() : giaPat2.c
• Min_ManBitPackOne() : giaPat2.c
• Min_ManBitPackTry() : giaPat2.c
• Min_ManClean() : covInt.h, covMinMan.c
• Min_ManCollect() : giaPat2.c
• Min_ManComputeCexes() : giaPat2.c
• Min_ManCountSize() : giaPat2.c
• Min_ManFree() : covInt.h, covMinMan.c
• Min_ManFromGia() : giaPat2.c
• Min_ManFromGia_rec() : giaPat2.c
• Min_ManGetUnsolved() : giaPat2.c
• Min_ManRemapSims() : giaPat2.c
• Min_ManRemoveItem() : giaPat2.c
• Min_ManTest2() : giaPat2.c
• Min_ManTest3() : giaPat2.c
• Min_ManTest4() : giaPat2.c
• Min_ReloadCexes() : giaPat2.c
• Min_SopAddCube() : covInt.h, covMinSop.c
• Min_SopAddCubeInt() : covMinSop.c
• Min_SopCheck() : covMinSop.c
• Min_SopComplement() : covMinSop.c
• Min_SopContain() : covMinSop.c
• Min_SopDist1Merge() : covMinSop.c
• Min_SopMinimize() : covInt.h, covMinSop.c
• Min_TargGenerateCexes() : giaPat2.c
• mincov() : espresso.h, expand.c
• Mini_AigDupCompl() : bmcMaj.c
• Mini_AigPrintArray() : bmcMaj.c
• Mini_AigWriteEntry() : bmcMaj.c
• mini_sort() : cvrm.c, espresso.h
• MiniAig_ManRewire() : rewire_rar.c, rewire_rar.h
• MiniAig_ManRewireInt() : rewire_miaig.cpp, rewire_rar.h
• minimalFlip() : lucky.c
• minimalFlip1() : lucky.c
• minimalInitialFlip() : lucky.c
• minimalInitialFlip1() : lucky.c
• minimalInitialFlip_fast_16Vars() : luckyFast16.c
• minimalSwap() : lucky.c
• minimalSwap1() : lucky.c
• minimalSwapAndFlipIVar_superFast_all() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_all_noEBFC() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_iVar5() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_iVar5_noEBFC() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_lessThen5() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_lessThen5_noEBFC() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_moreThen5() : luckyFast16.c
• minimalSwapAndFlipIVar_superFast_moreThen5_noEBFC() : luckyFast16.c
• minimize_exact() : espresso.h, exact.c
• minimize_exact_literals() : espresso.h, exact.c
• minimize_pair() : espresso.h, pair.c
• minisat_sort() : giaSort.c
• minisat_sort2() : giaSort.c
• minisat_sort3() : giaSort.c
• minTemp0_fast() : luckyFast16.c
• minTemp0_fast_iVar5() : luckyFast16.c
• minTemp0_fast_moreThen5() : luckyFast16.c
• minTemp1_fast() : luckyFast16.c
• minTemp1_fast_iVar5() : luckyFast16.c
• minTemp1_fast_moreThen5() : luckyFast16.c
• minTemp2_fast() : luckyFast16.c
• minTemp2_fast_iVar5() : luckyFast16.c
• minTemp2_fast_moreThen5() : luckyFast16.c
• minTemp3_fast() : luckyFast16.c
• minTemp3_fast_iVar5() : luckyFast16.c
• minTemp3_fast_moreThen5() : luckyFast16.c
• minterms() : espresso.h, map.c
• Mio_AreaCompare() : mioUtils.c
• Mio_AreaCompare2() : mioUtils.c
• Mio_CheckGates() : mioUtils.c
• Mio_CheckPins() : mioUtils.c
• Mio_CollectRoots() : mio.h, mioUtils.c
• Mio_CollectRootsNew() : mio.h, mioUtils.c
• Mio_CollectRootsNew2() : mioUtils.c
• Mio_CollectRootsNewDefault() : mio.h, mioUtils.c
• Mio_CollectRootsNewDefault2() : mio.h, mioUtils.c
• Mio_CollectRootsNewDefault3() : mio.h, mioUtils.c
• Mio_DelayCompare() : mioUtils.c
• Mio_DeriveGateDelays() : mio.h, mioUtils.c
• Mio_DeriveTruthTable() : mio.h, mioUtils.c
• Mio_DeriveTruthTable2() : mioUtils.c
• Mio_DeriveTruthTable6() : mio.h, mioUtils.c
• Mio_End() : mainInit.c, mio.c
• Mio_GateAddToProfile() : mio.h, mioApi.c
• Mio_GateAddToProfile2() : mio.h, mioApi.c
• Mio_GateCollectNames() : mioFunc.c
• Mio_GateCreatePseudo() : mio.h, mioUtils.c
• Mio_GateDecProfile2() : mio.h, mioApi.c
• Mio_GateDelete() : mio.h, mioUtils.c
• Mio_GateIncProfile2() : mio.h, mioApi.c
• Mio_GateIsInv() : mio.h, mioApi.c
• Mio_GateParseFormula() : mioFunc.c
• Mio_GateReadArea() : mio.h, mioApi.c
• Mio_GateReadCell() : mio.h, mioApi.c
• Mio_GateReadDelayMax() : mio.h, mioApi.c
• Mio_GateReadExpr() : mio.h, mioApi.c
• Mio_GateReadForm() : mio.h, mioApi.c
• Mio_GateReadLib() : mio.h, mioApi.c
• Mio_GateReadName() : mio.h, mioApi.c
• Mio_GateReadNext() : mio.h, mioApi.c
• Mio_GateReadOutName() : mio.h, mioApi.c
• Mio_GateReadPinDelay() : mio.h, mioApi.c
• Mio_GateReadPinName() : mio.h, mioApi.c
• Mio_GateReadPinNum() : mio.h, mioApi.c
• Mio_GateReadPins() : mio.h, mioApi.c
• Mio_GateReadProfile() : mio.h, mioApi.c
• Mio_GateReadProfile2() : mio.h, mioApi.c
• Mio_GateReadSop() : mio.h, mioApi.c
• Mio_GateReadTruth() : mio.h, mioApi.c
• Mio_GateReadTruthP() : mio.h, mioApi.c
• Mio_GateReadTwin() : mio.h, mioApi.c
• Mio_GateReadValue() : mio.h, mioApi.c
• Mio_GateSetCell() : mio.h, mioApi.c
• Mio_GateSetProfile() : mio.h, mioApi.c
• Mio_GateSetProfile2() : mio.h, mioApi.c
• Mio_GateSetValue() : mio.h, mioApi.c
• Mio_Init() : mainInit.c, mio.c
• Mio_IntallAndLibrary() : mio.c
• Mio_IntallSimpleLibrary() : mio.c
• Mio_IntallSimpleLibrary2() : mio.c
• Mio_LibDeriveSop() : mio.h, mioSop.c
• Mio_LibGateSimulate() : abcDetect.c
• Mio_LibGateSimulateGia() : abcDetect.c
• Mio_LibGateSimulateOne() : abcDetect.c
• Mio_LibraryCleanProfile2() : mio.h, mioUtils.c
• Mio_LibraryCleanStr() : mioRead.c
• Mio_LibraryCompareGatesByArea() : mioRead.c
• Mio_LibraryCompareGatesByName() : mioRead.c
• Mio_LibraryDelete() : mio.h, mioUtils.c
• Mio_LibraryHashGates() : mioUtils.c
• Mio_LibraryHasProfile() : mio.h, mioUtils.c
• Mio_LibraryMatches2Fetch() : mio.h, mioUtils.c
• Mio_LibraryMatches2Start() : mio.h, mioUtils.c
• Mio_LibraryMatches2Stop() : mio.h, mioUtils.c
• Mio_LibraryMatchesFetch() : mio.h, mioUtils.c
• Mio_LibraryMatchesStart() : mio.h, mioUtils.c
• Mio_LibraryMatchesStop() : mio.h, mioUtils.c
• Mio_LibraryMultiArea() : mio.h, mioUtils.c
• Mio_LibraryMultiDelay() : mio.h, mioUtils.c
• Mio_LibraryParseFormulas() : mio.h, mioForm.c, mioFunc.c
• Mio_LibraryRead() : mio.h, mioRead.c
• Mio_LibraryReadAnd2() : mio.h, mioApi.c
• Mio_LibraryReadAreaBuf() : mio.h, mioApi.c
• Mio_LibraryReadAreaInv() : mio.h, mioApi.c
• Mio_LibraryReadAreaNand2() : mio.h, mioApi.c
• Mio_LibraryReadBuf() : mio.h, mioApi.c
• Mio_LibraryReadBuffer() : mioRead.c
• Mio_LibraryReadConst0() : mio.h, mioApi.c
• Mio_LibraryReadConst1() : mio.h, mioApi.c
• Mio_LibraryReadDelayAigNode() : mio.h, mioApi.c
• Mio_LibraryReadDelayAnd2Max() : mio.h, mioApi.c
• Mio_LibraryReadDelayInvFall() : mio.h, mioApi.c
• Mio_LibraryReadDelayInvMax() : mio.h, mioApi.c
• Mio_LibraryReadDelayInvRise() : mio.h, mioApi.c
• Mio_LibraryReadDelayNand2Fall() : mio.h, mioApi.c
• Mio_LibraryReadDelayNand2Max() : mio.h, mioApi.c
• Mio_LibraryReadDelayNand2Rise() : mio.h, mioApi.c
• Mio_LibraryReadExclude() : mio.h, mioRead.c
• Mio_LibraryReadFileName() : mio.h, mioApi.c
• Mio_LibraryReadGateArray() : mio.h, mioApi.c
• Mio_LibraryReadGateById() : mio.h, mioApi.c
• Mio_LibraryReadGateByName() : mio.h, mioApi.c
• Mio_LibraryReadGateByTruth() : mio.h, mioApi.c
• Mio_LibraryReadGateNameMax() : mio.h, mioApi.c
• Mio_LibraryReadGateNum() : mio.h, mioApi.c
• Mio_LibraryReadGates() : mio.h, mioApi.c
• Mio_LibraryReadInv() : mio.h, mioApi.c
• Mio_LibraryReadName() : mio.h, mioApi.c
• Mio_LibraryReadNand2() : mio.h, mioApi.c
• Mio_LibraryReadNor2() : mio.h, mioApi.c
• Mio_LibraryReadOr2() : mio.h, mioApi.c
• Mio_LibraryReadProfile() : mio.h, mioUtils.c
• Mio_LibraryReadSopByName() : mio.h, mioApi.c
• Mio_LibrarySetName() : mio.h, mioApi.c
• Mio_LibraryShiftDelay() : mio.h, mioUtils.c
• Mio_LibraryShortFormula() : mioUtils.c
• Mio_LibraryShortNames() : mio.h, mioUtils.c
• Mio_LibrarySortGates() : mioRead.c
• Mio_LibraryTransferCellIds() : mio.h, mioUtils.c
• Mio_LibraryTransferDelays() : mio.h, mioUtils.c
• Mio_LibraryTransferProfile() : mio.h, mioUtils.c
• Mio_LibraryTransferProfile2() : mio.h, mioUtils.c
• Mio_LibraryWriteProfile() : mio.h, mioUtils.c
• Mio_ParseCheckFormula() : mio.h, mioParse.c
• Mio_ParseCheckName() : mioParse.c
• Mio_ParseFormula() : mio.h, mioParse.c
• Mio_ParseFormulaOper() : mioParse.c
• Mio_ParseFormulaTruth() : mio.h, mioParse.c
• Mio_ParseFormulaTruthTest() : mioParse.c
• Mio_PinDelete() : mio.h, mioUtils.c
• Mio_PinDup() : mio.h, mioUtils.c
• Mio_PinReadDelayBlockFall() : mio.h, mioApi.c
• Mio_PinReadDelayBlockMax() : mio.h, mioApi.c
• Mio_PinReadDelayBlockRise() : mio.h, mioApi.c
• Mio_PinReadDelayFanoutFall() : mio.h, mioApi.c
• Mio_PinReadDelayFanoutRise() : mio.h, mioApi.c
• Mio_PinReadInputLoad() : mio.h, mioApi.c
• Mio_PinReadMaxLoad() : mio.h, mioApi.c
• Mio_PinReadName() : mio.h, mioApi.c
• Mio_PinReadNext() : mio.h, mioApi.c
• Mio_PinReadPhase() : mio.h, mioApi.c
• Mio_ReadFile() : mio.h, mioRead.c
• Mio_SopConst0() : mioSop.c
• Mio_SopConst1() : mioSop.c
• Mio_SopCoverAnd() : mioSop.c
• Mio_SopCoverOr() : mioSop.c
• Mio_SopDeriveFromArray() : mioSop.c
• Mio_SopGetVarNum() : mioUtils.c
• Mio_SopPushSCC() : mioSop.c
• Mio_SopRegister() : mioForm.c, mioFunc.c
• Mio_SopVar0() : mioSop.c
• Mio_SopVar1() : mioSop.c
• Mio_UpdateGenlib() : mio.c, mio.h
• Mio_UpdateGenlib2() : mio.c, mio.h
• Mio_WriteGate() : mioUtils.c
• Mio_WriteGateVerilog() : mioUtils.c
• Mio_WriteLibrary() : mio.h, mioUtils.c
• Mio_WriteLibraryVerilog() : mio.h, mioUtils.c
• Mio_WritePin() : mioUtils.c
• Mnist_ReadImages1_() : bmcCexTools.c
• Mnist_ReadImages_() : bmcCexTools.c
• modifyAigToApplySafetyInvar() : kliveness.c
• Mop_ManAlloc() : ioReadPlaMo.c
• Mop_ManCollectStats() : ioReadPlaMo.c
• Mop_ManCompatiblePairs() : ioReadPlaMo.c
• Mop_ManCubeCount() : ioReadPlaMo.c
• Mop_ManDerive() : ioReadPlaMo.c
• Mop_ManFindDist1Pairs() : ioReadPlaMo.c
• Mop_ManLoadFile() : ioReadPlaMo.c
• Mop_ManMergeContainAll() : ioReadPlaMo.c
• Mop_ManMergeContainTwo() : ioReadPlaMo.c
• Mop_ManMergeDist1All() : ioReadPlaMo.c
• Mop_ManMergeDist1Pairs() : ioReadPlaMo.c
• Mop_ManMergeDist1Pairs2() : ioReadPlaMo.c
• Mop_ManPrint() : ioReadPlaMo.c
• Mop_ManPrintOne() : ioReadPlaMo.c
• Mop_ManRead() : ioReadPlaMo.c
• Mop_ManReadParams() : ioReadPlaMo.c
• Mop_ManReduce() : ioReadPlaMo.c
• Mop_ManReduce2() : ioReadPlaMo.c
• Mop_ManRemoveIdentical() : ioReadPlaMo.c
• Mop_ManStop() : ioReadPlaMo.c
• Mop_ManTest() : ioReadPlaMo.c
• most_frequent() : espresso.h, expand.c
• Mpm_ComputeCnfSizeAll() : mpmPre.c
• Mpm_ComputeCnfSizeOne() : mpmPre.c
• Mpm_CutCheckDsd6() : mpmDsd.c, mpmInt.h
• Mpm_CutCompareArea() : mpmMap.c
• Mpm_CutCompareArea2() : mpmMap.c
• Mpm_CutCompareDelay() : mpmMap.c
• Mpm_CutCompareDelay2() : mpmMap.c
• Mpm_CutComputeDsd6() : mpmDsd.c, mpmInt.h
• Mpm_CutComputeTruth() : mpmInt.h, mpmTruth.c
• Mpm_CutPrint() : mpmInt.h, mpmMap.c
• Mpm_CutTruthFromDsd() : mpmDsd.c, mpmInt.h
• Mpm_FuncCompute() : dauTree.c
• Mpm_LibLutFree() : mpm.h, mpmInt.h, mpmLib.c
• Mpm_LibLutSetSimple() : mpm.h, mpmInt.h, mpmLib.c
• Mpm_ManBuildHashTable() : mpmDsd.c
• Mpm_ManCellMapping() : mpmGates.c
• Mpm_ManDeriveCuts() : mpmMap.c
• Mpm_ManDeriveMappedAbcNtk() : mpmGates.c
• Mpm_ManFindCells() : mpmGates.c
• Mpm_ManFindDsdMatches() : mpmGates.c, mpmInt.h
• Mpm_ManFindMappedNodes() : mpmGates.c
• Mpm_ManFromIfLogic() : mpmAbc.c, mpmInt.h
• Mpm_ManGetAbcNode() : mpmGates.c
• Mpm_ManGetTruthWithCnf() : mpmDsd.c
• Mpm_ManLutMapping() : mpmCore.c
• Mpm_ManNodeIfToGia() : mpmAbc.c
• Mpm_ManNodeIfToGia_rec() : mpmAbc.c
• Mpm_ManPerform() : mpmInt.h, mpmMap.c
• Mpm_ManPerformCellMapping() : mpmGates.c
• Mpm_ManPerformLutMapping() : mpmCore.c
• Mpm_ManPerformRound() : mpmMap.c
• Mpm_ManPrecomputePerms() : mpmDsd.c, mpmInt.h
• Mpm_ManPrepare() : mpmInt.h, mpmMap.c
• Mpm_ManPrintDsdStats() : mpmDsd.c, mpmInt.h
• Mpm_ManPrintPerm() : mpmDsd.c, mpmInt.h
• Mpm_ManPrintStats() : mpmInt.h, mpmMan.c
• Mpm_ManPrintStatsInit() : mpmInt.h, mpmMan.c
• Mpm_ManSetParsDefault() : mpm.h, mpmCore.c
• Mpm_ManStart() : mpmInt.h, mpmMan.c
• Mpm_ManStop() : mpmInt.h, mpmMan.c
• Mpm_ManTest() : mpm.c
• Mpm_ObjAddChoiceCutsToStore() : mpmMap.c
• Mpm_ObjAddCutToStore() : mpmMap.c
• Mpm_ObjTranslateCutsFromStore() : mpmMap.c
• Msat_ClauseCalcReason() : msatClause.c, msatInt.h
• Msat_ClauseComputeTruth() : msatInt.h
• Msat_ClauseCreate() : msatClause.c, msatInt.h
• Msat_ClauseCreateFake() : msatInt.h
• Msat_ClauseCreateFakeLit() : msatInt.h
• Msat_ClauseFree() : msatClause.c, msatInt.h
• Msat_ClauseIsLocked() : msatClause.c, msatInt.h
• Msat_ClausePrint() : msatClause.c, msatInt.h
• Msat_ClausePrintSymbols() : msatClause.c, msatInt.h
• Msat_ClausePropagate() : msatClause.c, msatInt.h
• Msat_ClauseReadActivity() : msatClause.c, msatInt.h
• Msat_ClauseReadLearned() : msatClause.c, msatInt.h
• Msat_ClauseReadLits() : msatClause.c, msatInt.h
• Msat_ClauseReadMark() : msatClause.c, msatInt.h
• Msat_ClauseReadNum() : msatClause.c, msatInt.h
• Msat_ClauseReadSize() : msatClause.c, msatInt.h
• Msat_ClauseReadTypeA() : msatClause.c, msatInt.h
• Msat_ClauseRemoveWatch() : msatClause.c, msatInt.h
• Msat_ClauseSetMark() : msatClause.c, msatInt.h
• Msat_ClauseSetNum() : msatClause.c, msatInt.h
• Msat_ClauseSetTypeA() : msatClause.c, msatInt.h
• Msat_ClauseSimplify() : msatClause.c, msatInt.h
• Msat_ClauseVecAlloc() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecClear() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecFree() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecGrow() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecPop() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecPush() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecReadArray() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecReadEntry() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecReadSize() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecShrink() : msatClauseVec.c, msatInt.h
• Msat_ClauseVecWriteEntry() : msatClauseVec.c, msatInt.h
• Msat_ClauseWriteActivity() : msatClause.c, msatInt.h
• Msat_ClauseWriteDimacs() : msatClause.c, msatInt.h
• Msat_IntVecAlloc() : msat.h, msatVec.c
• Msat_IntVecAllocArray() : msat.h, msatVec.c
• Msat_IntVecAllocArrayCopy() : msat.h, msatVec.c
• Msat_IntVecClear() : msat.h, msatVec.c
• Msat_IntVecDup() : msat.h, msatVec.c
• Msat_IntVecDupArray() : msat.h, msatVec.c
• Msat_IntVecFill() : msat.h, msatVec.c
• Msat_IntVecFree() : msat.h, msatVec.c
• Msat_IntVecGrow() : msat.h, msatVec.c
• Msat_IntVecPop() : msat.h, msatVec.c
• Msat_IntVecPush() : msat.h, msatVec.c
• Msat_IntVecPushUnique() : msat.h, msatVec.c
• Msat_IntVecPushUniqueOrder() : msat.h, msatVec.c
• Msat_IntVecReadArray() : msat.h, msatVec.c
• Msat_IntVecReadEntry() : msat.h, msatVec.c
• Msat_IntVecReadEntryLast() : msat.h, msatVec.c
• Msat_IntVecReadSize() : msat.h, msatVec.c
• Msat_IntVecReleaseArray() : msat.h, msatVec.c
• Msat_IntVecShrink() : msat.h, msatVec.c
• Msat_IntVecSort() : msat.h, msatVec.c
• Msat_IntVecWriteEntry() : msat.h, msatVec.c
• Msat_MmFixedEntryFetch() : msatInt.h, msatMem.c
• Msat_MmFixedEntryRecycle() : msatInt.h, msatMem.c
• Msat_MmFixedReadMemUsage() : msatInt.h, msatMem.c
• Msat_MmFixedRestart() : msatInt.h, msatMem.c
• Msat_MmFixedStart() : msatInt.h, msatMem.c
• Msat_MmFixedStop() : msatInt.h, msatMem.c
• Msat_MmFlexEntryFetch() : msatInt.h, msatMem.c
• Msat_MmFlexReadMemUsage() : msatInt.h, msatMem.c
• Msat_MmFlexStart() : msatInt.h, msatMem.c
• Msat_MmFlexStop() : msatInt.h, msatMem.c
• Msat_MmStepEntryFetch() : msatInt.h, msatMem.c
• Msat_MmStepEntryRecycle() : msatInt.h, msatMem.c
• Msat_MmStepReadMemUsage() : msatInt.h, msatMem.c
• Msat_MmStepStart() : msatInt.h, msatMem.c
• Msat_MmStepStop() : msatInt.h, msatMem.c
• Msat_OrderAlloc() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderCheck() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderClean() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderFree() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderSetBounds() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderUpdate() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderVarAssigned() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderVarSelect() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_OrderVarUnassigned() : msatInt.h, msatOrderH.c, msatOrderJ.c
• Msat_QueueAlloc() : msatInt.h, msatQueue.c
• Msat_QueueClear() : msatInt.h, msatQueue.c
• Msat_QueueExtract() : msatInt.h, msatQueue.c
• Msat_QueueFree() : msatInt.h, msatQueue.c
• Msat_QueueInsert() : msatInt.h, msatQueue.c
• Msat_QueueReadSize() : msatInt.h, msatQueue.c
• Msat_SolverAddClause() : msat.h, msatSolverCore.c
• Msat_SolverAddVar() : msat.h, msatSolverCore.c
• Msat_SolverAlloc() : msat.h, msatSolverApi.c
• Msat_SolverAssume() : msatInt.h, msatSolverSearch.c
• Msat_SolverCancelUntil() : msatInt.h, msatSolverSearch.c
• Msat_SolverClaBumpActivity() : msatActivity.c, msatInt.h
• Msat_SolverClaDecayActivity() : msatActivity.c, msatInt.h
• Msat_SolverClaRescaleActivity() : msatActivity.c, msatInt.h
• Msat_SolverClausesDecrement() : msatInt.h, msatSolverApi.c
• Msat_SolverClausesDecrementL() : msatInt.h, msatSolverApi.c
• Msat_SolverClausesIncrement() : msatInt.h, msatSolverApi.c
• Msat_SolverClausesIncrementL() : msatInt.h, msatSolverApi.c
• Msat_SolverClean() : msat.h, msatSolverApi.c
• Msat_SolverEnqueue() : msatInt.h, msatSolverSearch.c
• Msat_SolverFree() : msat.h, msatSolverApi.c
• Msat_SolverIncrementSeenId() : msatInt.h, msatSolverApi.c
• Msat_SolverMarkClausesStart() : msat.h, msatSolverApi.c
• Msat_SolverMarkLastClauseTypeA() : msat.h, msatSolverApi.c
• Msat_SolverParseDimacs() : msat.h, msatRead.c
• Msat_SolverPrepare() : msat.h, msatSolverApi.c
• Msat_SolverPrintAssignment() : msat.h, msatSolverIo.c
• Msat_SolverPrintClauses() : msat.h, msatSolverIo.c
• Msat_SolverPrintStats() : msat.h, msatSolverCore.c
• Msat_SolverProgressEstimate() : msatInt.h, msatSolverCore.c
• Msat_SolverPropagate() : msatInt.h, msatSolverSearch.c
• Msat_SolverReadAdjacents() : msat.h, msatSolverApi.c
• Msat_SolverReadAssignsArray() : msat.h, msatSolverApi.c
• Msat_SolverReadBackTracks() : msat.h, msatSolverApi.c
• Msat_SolverReadClause() : msatInt.h, msatSolverApi.c
• Msat_SolverReadClauseNum() : msat.h, msatSolverApi.c
• Msat_SolverReadConeVars() : msat.h, msatSolverApi.c
• Msat_SolverReadDecisionLevel() : msatInt.h, msatSolverApi.c
• Msat_SolverReadDecisionLevelArray() : msatInt.h, msatSolverApi.c
• Msat_SolverReadFactors() : msat.h, msatSolverApi.c
• Msat_SolverReadInspects() : msat.h, msatSolverApi.c
• Msat_SolverReadLearned() : msatInt.h, msatSolverApi.c
• Msat_SolverReadMem() : msatInt.h, msatSolverApi.c
• Msat_SolverReadModelArray() : msat.h, msatSolverApi.c
• Msat_SolverReadReasonArray() : msatInt.h, msatSolverApi.c
• Msat_SolverReadSeenArray() : msatInt.h, msatSolverApi.c
• Msat_SolverReadSolutions() : msat.h
• Msat_SolverReadSolutionsArray() : msat.h
• Msat_SolverReadTruth() : msat.h
• Msat_SolverReadVarAllocNum() : msat.h, msatSolverApi.c
• Msat_SolverReadVarNum() : msat.h, msatSolverApi.c
• Msat_SolverReadVarsUsed() : msat.h, msatSolverApi.c
• Msat_SolverReadVarValue() : msatInt.h, msatSolverApi.c
• Msat_SolverReadWatchedArray() : msatInt.h, msatSolverApi.c
• Msat_SolverRemoveLearned() : msat.h, msatSolverSearch.c
• Msat_SolverRemoveMarked() : msat.h, msatSolverSearch.c
• Msat_SolverResize() : msat.h, msatSolverApi.c
• Msat_SolverSearch() : msatInt.h, msatSolverSearch.c
• Msat_SolverSetProofWriting() : msat.h
• Msat_SolverSetVarMap() : msat.h
• Msat_SolverSetVarTypeA() : msat.h
• Msat_SolverSetVerbosity() : msat.h, msatSolverApi.c
• Msat_SolverSimplifyDB() : msat.h, msatSolverSearch.c
• Msat_SolverSolve() : msat.h, msatSolverCore.c
• Msat_SolverSortDB() : msatInt.h, msatSort.c
• Msat_SolverSortSelection() : msatSort.c
• Msat_SolverVarBumpActivity() : msatActivity.c, msatInt.h
• Msat_SolverVarDecayActivity() : msatActivity.c, msatInt.h
• Msat_SolverVarRescaleActivity() : msatActivity.c, msatInt.h
• Msat_SolverWriteDimacs() : msat.h, msatSolverIo.c
• Msat_VarHeapAlloc() : msat.h
• Msat_VarHeapCheck() : msat.h
• Msat_VarHeapCheckOne() : msat.h
• Msat_VarHeapContainsVar() : msat.h
• Msat_VarHeapCountNodes() : msat.h
• Msat_VarHeapDelete() : msat.h
• Msat_VarHeapGetMax() : msat.h
• Msat_VarHeapGrow() : msat.h
• Msat_VarHeapInsert() : msat.h
• Msat_VarHeapPrint() : msat.h
• Msat_VarHeapReadMax() : msat.h
• Msat_VarHeapReadMaxWeight() : msat.h
• Msat_VarHeapSetActivity() : msat.h
• Msat_VarHeapStart() : msat.h
• Msat_VarHeapStop() : msat.h
• Msat_VarHeapUpdate() : msat.h
• Mtr_AllocNode() : mtr.h, mtrBasic.c
• Mtr_CopyTree() : mtr.h, mtrBasic.c
• Mtr_CreateFirstChild() : mtr.h, mtrBasic.c
• Mtr_CreateLastChild() : mtr.h, mtrBasic.c
• Mtr_DeallocNode() : mtr.h, mtrBasic.c
• Mtr_DissolveGroup() : mtr.h, mtrGroup.c
• Mtr_FindGroup() : mtr.h, mtrGroup.c
• Mtr_FreeTree() : mtr.h, mtrBasic.c
• Mtr_InitGroupTree() : mtr.h, mtrGroup.c
• Mtr_InitTree() : mtr.h, mtrBasic.c
• Mtr_MakeFirstChild() : mtr.h, mtrBasic.c
• Mtr_MakeGroup() : mtr.h, mtrGroup.c
• Mtr_MakeLastChild() : mtr.h, mtrBasic.c
• Mtr_MakeNextSibling() : mtr.h, mtrBasic.c
• Mtr_PrintGroups() : mtr.h, mtrGroup.c
• Mtr_PrintTree() : mtr.h, mtrBasic.c
• Mtr_ReadGroups() : mtr.h, mtrGroup.c
• Mtr_SwapGroups() : mtr.h, mtrGroup.c
• Mux_ManAlloc() : giaMuxes.c
• Mux_ManFree() : giaMuxes.c
• mv_reduce() : espresso.h, sparse.c
• Mvc_CoverAddCubeHead_() : mvc.h, mvcList.c
• Mvc_CoverAddCubeTail_() : mvc.h, mvcList.c
• Mvc_CoverAddDupCubeHead() : mvc.h, mvcList.c
• Mvc_CoverAddDupCubeTail() : mvc.h, mvcList.c
• Mvc_CoverAddLiteralsOfCube() : mvc.h, mvcList.c
• Mvc_CoverAlgebraicEqual() : mvc.h, mvcOpAlg.c
• Mvc_CoverAlgebraicMultiply() : mvc.h, mvcOpAlg.c
• Mvc_CoverAlgebraicSubtract() : mvc.h, mvcOpAlg.c
• Mvc_CoverAlloc() : mvc.h, mvcCover.c
• Mvc_CoverAllocateArrayCubes() : mvc.h, mvcCover.c
• Mvc_CoverAllocateArrayLits() : mvc.h, mvcCover.c
• Mvc_CoverAllocateMask() : mvc.h, mvcCover.c
• Mvc_CoverAnyLiteral() : mvc.h, mvcLits.c
• Mvc_CoverAppendCubes() : mvc.h
• Mvc_CoverArray2List() : mvc.h, mvcList.c
• Mvc_CoverBestLiteral() : mvc.h, mvcLits.c
• Mvc_CoverBestLiteralCover() : mvc.h, mvcLits.c
• Mvc_CoverBooleanAnd() : mvc.h
• Mvc_CoverBooleanEqual() : mvc.h
• Mvc_CoverBooleanOr() : mvc.h, mvcOpBool.c
• Mvc_CoverCheckSuppContainment() : mvc.h, mvcUtils.c
• Mvc_CoverClone() : mvc.h, mvcCover.c
• Mvc_CoverCofactor() : mvc.h, mvcUtils.c
• Mvc_CoverCofactors() : mvc.h
• Mvc_CoverCommonCube() : mvc.h, mvcUtils.c
• Mvc_CoverCommonCubeCover() : mvc.h, mvcUtils.c
• Mvc_CoverComplement() : mvc.h
• Mvc_CoverContain() : mvc.h, mvcContain.c
• Mvc_CoverCopyAndAppendCubes() : mvc.h
• Mvc_CoverCountCubePairDiffs() : mvc.h, mvcUtils.c
• Mvc_CoverCountLiterals() : mvc.h, mvcLits.c
• Mvc_CoverCreateConst() : mvc.h
• Mvc_CoverCreateEmpty() : mvc.h, mvcApi.c
• Mvc_CoverCreateTautology() : mvc.h, mvcApi.c
• Mvc_CoverDeallocateArrayLits() : mvc.h, mvcCover.c
• Mvc_CoverDeallocateMask() : mvc.h, mvcCover.c
• Mvc_CoverDeleteCube_() : mvc.h, mvcList.c
• Mvc_CoverDeleteLiteralsOfCube() : mvc.h, mvcList.c
• Mvc_CoverDist0Cubes() : mvc.h
• Mvc_CoverDist1Merge() : mvc.h
• Mvc_CoverDivide() : mvc.h, mvcDivide.c
• Mvc_CoverDivideByCube() : mvc.h, mvcDivide.c
• Mvc_CoverDivideByLiteral() : mvc.h, mvcDivide.c
• Mvc_CoverDivideByLiteralQuo() : mvc.h, mvcDivide.c
• Mvc_CoverDivideInternal() : mvc.h, mvcDivide.c
• Mvc_CoverDivisor() : mvc.h, mvcDivisor.c
• Mvc_CoverDup() : mvc.h, mvcCover.c
• Mvc_CoverFirstCubeFirstLit() : mvc.h, mvcLits.c
• Mvc_CoverFlipVar() : mvc.h, mvcUtils.c
• Mvc_CoverFree() : mvc.h, mvcCover.c
• Mvc_CoverGetCubeSize() : mvc.h
• Mvc_CoverIntersectCubes() : mvc.h
• Mvc_CoverInverse() : mvc.h, mvcUtils.c
• Mvc_CoverIsBinaryBuffer() : mvc.h, mvcApi.c
• Mvc_CoverIsCubeFree() : mvc.h, mvcUtils.c
• Mvc_CoverIsEmpty() : mvc.h, mvcApi.c
• Mvc_CoverIsIntersecting() : mvc.h
• Mvc_CoverIsOneLiteral() : mvc.h, mvcLits.c
• Mvc_CoverIsTautology() : mvc.h, mvcApi.c
• Mvc_CoverList2Array() : mvc.h, mvcList.c
• Mvc_CoverMakeCubeFree() : mvc.h, mvcUtils.c
• Mvc_CoverMakeEmpty() : mvc.h, mvcApi.c
• Mvc_CoverMakeTautology() : mvc.h, mvcApi.c
• Mvc_CoverMinimizeByReshape() : mvc.h
• Mvc_CoverPrint() : mvc.h, mvcPrint.c
• Mvc_CoverPrintBinary() : mvcPrint.c
• Mvc_CoverPrintMv() : mvc.h
• Mvc_CoverReadBitNum() : mvc.h, mvcApi.c
• Mvc_CoverReadCubeHead() : mvc.h, mvcApi.c
• Mvc_CoverReadCubeList() : mvc.h, mvcApi.c
• Mvc_CoverReadCubeNum() : mvc.h, mvcApi.c
• Mvc_CoverReadCubeTail() : mvc.h, mvcApi.c
• Mvc_CoverReadWordNum() : mvc.h, mvcApi.c
• Mvc_CoverRemap() : mvc.h, mvcUtils.c
• Mvc_CoverRemoveCubes() : mvc.h
• Mvc_CoverRemoveDontCareLits() : mvc.h, mvcUtils.c
• Mvc_CoverSetCubeHead() : mvc.h, mvcApi.c
• Mvc_CoverSetCubeList() : mvc.h, mvcApi.c
• Mvc_CoverSetCubeNum() : mvc.h, mvcApi.c
• Mvc_CoverSetCubeSizes() : mvc.h, mvcUtils.c
• Mvc_CoverSetCubeTail() : mvc.h, mvcApi.c
• Mvc_CoverSharp() : mvc.h
• Mvc_CoverSort() : mvc.h, mvcSort.c
• Mvc_CoverSort_rec() : mvcSort.c
• Mvc_CoverSortMerge() : mvcSort.c
• Mvc_CoverSupport() : mvc.h, mvcUtils.c
• Mvc_CoverSupportAnd() : mvcUtils.c
• Mvc_CoverSupportSizeBinary() : mvc.h, mvcUtils.c
• Mvc_CoverSupportVarBelongs() : mvc.h, mvcUtils.c
• Mvc_CoverTautology() : mvc.h
• Mvc_CoverTranspose() : mvc.h, mvcUtils.c
• Mvc_CoverUnivQuantify() : mvc.h, mvcUtils.c
• Mvc_CoverWorstLiteral() : mvc.h, mvcLits.c
• Mvc_CubeAlloc() : mvc.h, mvcCube.c
• Mvc_CubeBitRemoveDcs() : mvc.h, mvcCube.c
• Mvc_CubeCompareInt() : mvc.h, mvcCompare.c
• Mvc_CubeCompareIntOutsideAndUnderMask() : mvc.h, mvcCompare.c
• Mvc_CubeCompareIntOutsideMask() : mvc.h, mvcCompare.c
• Mvc_CubeCompareIntUnderMask() : mvc.h, mvcCompare.c
• Mvc_CubeCompareSizeAndInt() : mvc.h, mvcCompare.c
• Mvc_CubeDup() : mvc.h, mvcCube.c
• Mvc_CubeFree() : mvc.h, mvcCube.c
• Mvc_CubePrint() : mvc.h, mvcPrint.c
• Mvc_CubePrintMv() : mvc.h
• Mvc_ListAddCubeHead_() : mvc.h, mvcList.c
• Mvc_ListAddCubeTail_() : mvc.h, mvcList.c
• Mvc_ListDeleteCube_() : mvc.h, mvcList.c
• Mvc_ListGetTailFromHead() : mvc.h, mvcList.c
• Mvc_ListReadCubeHead() : mvc.h, mvcApi.c
• Mvc_ListReadCubeNum() : mvc.h, mvcApi.c
• Mvc_ListReadCubeTail() : mvc.h, mvcApi.c
• Mvc_ManagerAllocCover() : mvc.h
• Mvc_ManagerAllocCube() : mvc.h
• Mvc_ManagerFree() : mvc.h, mvcMan.c
• Mvc_ManagerFreeCover() : mvc.h
• Mvc_ManagerFreeCube() : mvc.h
• Mvc_ManagerStart() : mvc.h, mvcMan.c
• Mvc_UtilsCheckUnusedZeros() : mvc.h, mvcUtils.c
• Mvr_CoverCountLitsWithValue() : mvc.h