- 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
• main() : base/main/main.c , mainInt.h , mainMC.c , testcudd.c , demo.c , misc/espresso/main.c , place_test.c , starter.c
• mainGtU() : blocksort.c
• mainQSort3() : blocksort.c
• MainSat() : MainSat.cpp
• MainSimp() : MainSimp.cpp
• mainSimpleSort() : blocksort.c
• mainSort() : blocksort.c
• make_disjoint() : sharp.c , espresso.h
• make_random() : cuddGenetic.c
• make_sparse() : espresso.h , sparse.c
• makeArray() : lucky.c
• makeArrayB() : lucky.c
• makeMaps_d() : decompress.c
• makeMaps_e() : compress.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_CanonComputePhase() : mapperCanon.c
• Map_CanonComputePhase6() : mapperCanon.c
• Map_CanonComputeSlow() : mapper.h , mapperCanon.c
• Map_CommandReadLibrary() : mapper.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_CutArray2List() : mapperCut.c
• Map_CutBelongsToList() : mapperCut.c
• Map_CutCompute() : mapperCut.c
• Map_CutComputeTruth() : mapperCut.c
• Map_CutCreateFromNode() : mapper.h
• Map_CutDeref() : mapperInt.h , mapperRefs.c
• Map_CutFilter() : mapperCut.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_CutList2Array() : mapperCut.c
• Map_CutListAppend() : mapperCutUtils.c , mapperInt.h
• Map_CutListCount() : mapperCutUtils.c , mapperInt.h
• Map_CutListPrint() : mapperCut.c
• Map_CutListPrint2() : mapperCut.c
• Map_CutListRecycle() : mapperCutUtils.c , mapperInt.h
• Map_CutMergeLists() : mapperCut.c
• Map_CutMergeLists2() : mapperCut.c
• Map_CutMergeTwo() : mapperCut.c
• Map_CutPrint() : mapperCutUtils.c , mapperInt.h
• Map_CutPrint_() : mapperCut.c
• 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_CutsCollect_rec() : mapperTruth.c
• Map_CutSortCuts() : mapperCut.c
• Map_CutSortCutsCompare() : mapperCut.c
• Map_CutTableConsider() : mapperCut.c
• Map_CutTableHash() : mapperCut.c
• Map_CutTableLookup() : mapperCut.c
• Map_CutTableRestart() : mapperCut.c
• Map_CutTableStart() : mapperCut.c
• Map_CutTableStop() : mapperCut.c
• Map_CutUnionLists() : mapperCut.c
• map_dcset() : espresso.h , hack.c
• Map_End() : mainInit.c , mapper.c
• Map_HashKey2() : mapperCreate.c
• Map_Init() : mainInit.c , mapper.c
• Map_LibraryAddFaninDelays() : mapperTree.c
• Map_LibraryCompareLibNames() : mapperTree.c
• Map_LibraryComputeTruth() : mapperSuper.c
• Map_LibraryComputeTruth_rec() : mapperSuper.c
• Map_LibraryDeriveGateInfo() : mapperInt.h , mapperTree.c
• Map_LibraryGetGateSupp_rec() : mapperTree.c
• Map_LibraryGetMaxSuperPi_rec() : mapperTree.c
• Map_LibraryPrintClasses() : mapperSuper.c
• Map_LibraryPrintSupergate() : mapperInt.h , mapperSuper.c
• Map_LibraryPrintTree() : mapperInt.h , mapperTree.c
• Map_LibraryRead() : mapperInt.h , mapperSuper.c
• Map_LibraryReadFile() : mapperSuper.c
• Map_LibraryReadFileTreeStr() : mapperInt.h , mapperTree.c
• Map_LibraryReadFormulaStep() : mapper.h , mapperSuper.c
• Map_LibraryReadGate() : mapperSuper.c
• Map_LibraryReadGateTree() : mapperTree.c
• Map_LibraryReadTree() : mapperInt.h , mapperTree.c
• Map_LibraryTruthVerify() : mapperSuper.c
• Map_ManCheckConsistency() : mapper.h , mapperUtils.c
• Map_ManCleanData() : mapper.h , mapperUtils.c
• Map_ManCreate() : 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_ManSetSwitching() : mapper.h , mapperCreate.c
• Map_ManSetVerbose() : mapper.h , mapperCreate.c
• Map_Mapping() : mapper.h , mapperCore.c
• Map_MappingArea_rec() : mapperUtils.c
• Map_MappingCompareOutputDelay() : mapperUtils.c
• Map_MappingComputeDelayWithFanouts() : mapperInt.h , mapperUtils.c
• Map_MappingCountAllCuts() : mapperCut.c
• Map_MappingCountDoubles() : mapperInt.h , mapperUtils.c
• Map_MappingCountLevels() : mapperInt.h , mapperUtils.c
• Map_MappingCountLevels_rec() : mapperUtils.c
• Map_MappingCountUsedNodes() : mapperUtils.c
• Map_MappingCuts() : mapperCut.c , mapperInt.h
• Map_MappingCutsInput() : mapperCut.c
• Map_MappingDfs() : mapperInt.h , mapperUtils.c
• Map_MappingDfs_rec() : mapperUtils.c
• Map_MappingDfsCuts_rec() : mapperUtils.c
• Map_MappingEstimateRefs() : mapperInt.h , mapperRefs.c
• Map_MappingEstimateRefsInit() : mapperInt.h , mapperRefs.c
• Map_MappingExpandTruth() : mapperInt.h , mapperUtils.c
• Map_MappingExpandTruth_rec() : mapperUtils.c
• Map_MappingFindLatest() : 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_MappingSetRefsAndArea_rec() : mapperUtils.c
• Map_MappingSetRefsAndSwitch_rec() : mapperUtils.c
• Map_MappingSetRefsAndWire_rec() : mapperUtils.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_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_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_NodeVecCompareLevels() : 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_SuperTableResize() : 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_SwitchCutRefDeref() : mapperSwitch.c
• map_symbolic() : espresso.h , hack.c
• map_symbolic_cover() : espresso.h , hack.c
• Map_TableCreate() : mapperCreate.c
• Map_TableResize() : mapperCreate.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_TruthsCut() : mapperTruth.c
• 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
• mapVar() : Solver.cpp
• mark_irredundant() : espresso.h , irred.c
• MarkCacheCleanUp() : cuddGenCof.c
• MarkCacheCompare() : cuddGenCof.c
• MarkCacheHash() : cuddGenCof.c
• massive_count() : cofactor.c , espresso.h
• match1by1() : abcBm.c
• matchNonSingletonOutputs() : abcBm.c
• maybe_split() : abcSaucy.c
• median() : abcSaucy.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.h , mem.c
• Mem_FlexRestart() : mem.c , mem.h
• Mem_FlexStart() : mem.c , mem.h
• Mem_FlexStop() : 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_CubeLit() : giaMf.c
• Mf_CutArea() : giaMf.c
• Mf_CutAreaDerefed() : giaMf.c
• Mf_CutCheck() : giaMf.c
• Mf_CutCompareArea() : giaMf.c
• Mf_CutComputeTruth() : giaMf.c
• Mf_CutComputeTruth6() : giaMf.c
• Mf_CutComputeTruthMux() : giaMf.c
• Mf_CutComputeTruthMux6() : giaMf.c
• Mf_CutCountBits() : giaMf.c
• Mf_CutCreateUnit() : giaMf.c
• Mf_CutDeref_rec() : giaMf.c
• Mf_CutFlow() : giaMf.c
• Mf_CutFunc() : giaMf.c
• Mf_CutGetSign() : giaMf.c
• Mf_CutIsTriv() : giaMf.c
• Mf_CutMergeOrder() : giaMf.c
• Mf_CutMergeOrderMux() : giaMf.c
• Mf_CutParams() : giaMf.c
• Mf_CutPrint() : giaMf.c
• Mf_CutRef_rec() : giaMf.c
• Mf_CutSetBoth() : giaMf.c
• Mf_CutSize() : giaMf.c
• Mf_ManAlloc() : giaMf.c
• Mf_ManComputeCuts() : giaMf.c
• Mf_ManComputeMapping() : giaMf.c
• Mf_ManCountLits() : giaMf.c
• Mf_ManCutSet() : 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() : giaMf.c , giaQbf.c
• Mf_ManObj() : giaMf.c
• Mf_ManPerformMapping() : gia.h , giaMf.c
• Mf_ManPrepareCuts() : giaMf.c
• Mf_ManPrintInit() : giaMf.c
• Mf_ManPrintQuit() : giaMf.c
• Mf_ManPrintStats() : giaMf.c
• Mf_ManProfileTruths() : giaMf.c
• Mf_ManSaveCuts() : 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_ObjComputeBestCut() : giaMf.c
• Mf_ObjCutBest() : giaMf.c
• Mf_ObjCutSet() : giaMf.c
• Mf_ObjMapRefDec() : giaMf.c
• Mf_ObjMapRefInc() : giaMf.c
• Mf_ObjMapRefNum() : giaMf.c
• Mf_ObjMergeOrder() : giaMf.c
• Mf_ObjSetBestCut() : giaMf.c
• Mf_SetAddCut() : giaMf.c
• Mf_SetCheckArray() : giaMf.c
• Mf_SetCutIsContainedOrder() : giaMf.c
• Mf_SetLastCutContainsArea() : giaMf.c
• Mf_SetLastCutIsContained() : giaMf.c
• Mf_SetSortByArea() : 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_FanCompl() : mpmMig.h
• Mig_FanId() : mpmMig.h
• Mig_FanIsNone() : mpmMig.h
• Mig_FanSetCompl() : mpmMig.h
• Mig_FanSetId() : mpmMig.h
• Mig_IdCell() : mpmMig.h
• Mig_IdPage() : mpmMig.h
• Mig_ManAndNum() : mpmMig.c , mpmMig.h
• Mig_ManAppendAnd() : mpmMig.h
• Mig_ManAppendBuf() : mpmMig.h
• Mig_ManAppendCi() : mpmMig.h
• Mig_ManAppendCo() : mpmMig.h
• Mig_ManAppendMaj() : mpmMig.h
• Mig_ManAppendMux() : mpmMig.h
• Mig_ManAppendObj() : mpmMig.h
• Mig_ManAppendXor() : mpmMig.h
• Mig_ManCandNum() : mpmMig.h
• Mig_ManChoiceNum() : mpmMig.h
• Mig_ManCi() : mpmMig.h
• Mig_ManCiIdToId() : mpmMig.h
• Mig_ManCiNum() : mpmMig.h
• Mig_ManCleanCopy() : mpmMig.h
• Mig_ManCo() : mpmMig.h
• Mig_ManCoIdToId() : mpmMig.h
• Mig_ManConst0() : mpmMig.h
• Mig_ManCoNum() : mpmMig.h
• Mig_ManCreate() : mpmAbc.c , mpmInt.h
• Mig_ManCreateChoices() : mpmAbc.c
• Mig_ManIdToCioId() : mpmMig.h
• Mig_ManIncrementTravId() : mpmMig.h
• Mig_ManMuxNum() : mpmMig.c , mpmMig.h
• Mig_ManName() : mpmMig.h
• Mig_ManNodeNum() : mpmMig.h
• Mig_ManObj() : mpmMig.h
• Mig_ManObjNum() : mpmMig.h
• Mig_ManPage() : mpmMig.h
• Mig_ManPi() : mpmMig.h
• Mig_ManPiNum() : mpmMig.h
• Mig_ManPo() : mpmMig.h
• Mig_ManPoNum() : mpmMig.h
• Mig_ManRegNum() : mpmMig.h
• Mig_ManRi() : mpmMig.h
• Mig_ManRo() : mpmMig.h
• Mig_ManSetRefs() : mpmMig.c , mpmMig.h
• Mig_ManSetRegNum() : 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
• Mig_ObjCioId() : mpmMig.h
• Mig_ObjCopy() : mpmMig.h
• Mig_ObjFanin() : mpmMig.h
• Mig_ObjFanin0() : mpmMig.h
• Mig_ObjFanin0Copy() : mpmAbc.c
• Mig_ObjFanin1() : mpmMig.h
• Mig_ObjFanin1Copy() : mpmAbc.c
• Mig_ObjFanin2() : mpmMig.h
• Mig_ObjFaninC() : mpmMig.h
• Mig_ObjFaninC0() : mpmMig.h
• Mig_ObjFaninC1() : mpmMig.h
• Mig_ObjFaninC2() : mpmMig.h
• Mig_ObjFaninId() : mpmMig.h
• Mig_ObjFaninId0() : mpmMig.h
• Mig_ObjFaninId1() : mpmMig.h
• Mig_ObjFaninId2() : mpmMig.h
• Mig_ObjFaninLit() : mpmMig.h
• Mig_ObjFlipFaninC() : mpmMig.h
• Mig_ObjHasFanin() : mpmMig.h
• Mig_ObjId() : mpmMig.h
• Mig_ObjIncrementTravId() : mpmMig.h
• Mig_ObjIsAnd() : mpmMig.h
• Mig_ObjIsBuf() : mpmMig.h
• Mig_ObjIsCand() : mpmMig.h
• Mig_ObjIsCi() : mpmMig.h
• Mig_ObjIsCo() : mpmMig.h
• Mig_ObjIsConst0() : mpmMig.h
• Mig_ObjIsMux() : mpmMig.h
• Mig_ObjIsNode() : mpmMig.h
• Mig_ObjIsNode2() : mpmMig.h
• Mig_ObjIsNode3() : mpmMig.h
• Mig_ObjIsNone() : mpmMig.h
• Mig_ObjIsPi() : mpmMig.h
• Mig_ObjIsPo() : mpmMig.h
• Mig_ObjIsRi() : mpmMig.h
• Mig_ObjIsRo() : mpmMig.h
• Mig_ObjIsTerm() : mpmMig.h
• Mig_ObjIsTravIdCurrent() : mpmMig.h
• Mig_ObjIsTravIdCurrentId() : mpmMig.h
• Mig_ObjIsTravIdPrevious() : mpmMig.h
• Mig_ObjIsXor() : mpmMig.h
• Mig_ObjMan() : mpmMig.h
• Mig_ObjMigRefDec() : mpmInt.h
• Mig_ObjMigRefNum() : mpmInt.h
• Mig_ObjNodeType() : mpmMig.h
• Mig_ObjObj() : mpmMig.h
• Mig_ObjPhase() : mpmMig.h
• Mig_ObjRefNum() : mpmMig.h
• Mig_ObjRiToRo() : mpmMig.h
• Mig_ObjRoToRi() : mpmMig.h
• Mig_ObjSetCioId() : mpmMig.h
• Mig_ObjSetCopy() : mpmMig.h
• Mig_ObjSetFaninLit() : mpmMig.h
• Mig_ObjSetId() : mpmMig.h
• Mig_ObjSetPhase() : mpmMig.h
• Mig_ObjSetSiblId() : mpmMig.h
• Mig_ObjSetTravIdCurrent() : mpmMig.h
• Mig_ObjSetTravIdCurrentId() : mpmMig.h
• Mig_ObjSetTravIdPrevious() : mpmMig.h
• Mig_ObjSibl() : mpmMig.h
• Mig_ObjSiblId() : mpmMig.h
• Mig_ObjWhatFanin() : mpmMig.h
• Min_CoverCheck() : covInt.h , covMinUtil.c
• Min_CoverCollect() : covInt.h , covMinUtil.c
• Min_CoverContainsCube() : covInt.h
• Min_CoverCountCubes() : covInt.h
• Min_CoverCreate() : covInt.h , covMinUtil.c
• Min_CoverExpand() : covInt.h , covMinUtil.c
• Min_CoverExpandRemoveEqual() : covInt.h
• Min_CoverGetDisjVars() : covInt.h
• Min_CoverRecycle() : covInt.h
• 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_CubeAlloc() : covInt.h
• Min_CubeAllocVar() : covInt.h
• Min_CubeCheck() : covInt.h , covMinUtil.c
• Min_CubeCountLits() : covInt.h
• Min_CubeCreate() : covMinUtil.c
• Min_CubeDup() : covInt.h
• Min_CubeGetLits() : covInt.h
• Min_CubeGetVar() : covInt.h
• Min_CubeHasBit() : covInt.h
• Min_CubeIsContained() : covInt.h
• Min_CubeRecycle() : covInt.h
• Min_CubesAreEqual() : covInt.h
• Min_CubesDisjoint() : covInt.h
• Min_CubesDistOne() : covInt.h
• Min_CubesDistTwo() : covInt.h
• Min_CubeSetBit() : covInt.h
• Min_CubesProduct() : covInt.h
• Min_CubesTransform() : covInt.h
• Min_CubesTransformOr() : covInt.h
• Min_CubesXor() : covInt.h
• Min_CubeWrite() : covInt.h , covMinUtil.c
• Min_CubeXorBit() : covInt.h
• Min_CubeXorVar() : covInt.h
• Min_EsopAddCube() : covInt.h , covMinEsop.c
• Min_EsopAddCubeInt() : covMinEsop.c
• Min_EsopMinimize() : covInt.h , covMinEsop.c
• Min_EsopRewrite() : covMinEsop.c
• Min_ManAlloc() : covInt.h , covMinMan.c
• Min_ManClean() : covInt.h , covMinMan.c
• Min_ManFree() : covInt.h , covMinMan.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_SopRewrite() : covMinSop.c
• mincov() : espresso.h , expand.c
• Mini_AigAnd() : miniaig.h
• Mini_AigCheck() : miniaig.h
• Mini_AigCreatePi() : miniaig.h
• Mini_AigCreatePo() : miniaig.h
• Mini_AigDump() : miniaig.h
• Mini_AigGrow() : miniaig.h
• Mini_AigLit2Var() : miniaig.h
• Mini_AigLitConst0() : miniaig.h
• Mini_AigLitConst1() : miniaig.h
• Mini_AigLitIsCompl() : miniaig.h
• Mini_AigLitIsConst() : miniaig.h
• Mini_AigLitIsConst0() : miniaig.h
• Mini_AigLitIsConst1() : miniaig.h
• Mini_AigLitNot() : miniaig.h
• Mini_AigLitNotCond() : miniaig.h
• Mini_AigLitRegular() : miniaig.h
• Mini_AigLoad() : miniaig.h
• Mini_AigMux() : miniaig.h
• Mini_AigNodeFanin0() : miniaig.h
• Mini_AigNodeFanin1() : miniaig.h
• Mini_AigNodeIsAnd() : miniaig.h
• Mini_AigNodeIsConst() : miniaig.h
• Mini_AigNodeIsPi() : miniaig.h
• Mini_AigNodeIsPo() : miniaig.h
• Mini_AigNodeNum() : miniaig.h
• Mini_AigOr() : miniaig.h
• Mini_AigPrintStats() : miniaig.h
• Mini_AigPush() : miniaig.h
• Mini_AigRegNum() : miniaig.h
• Mini_AigSetRegNum() : miniaig.h
• Mini_AigStart() : miniaig.h
• Mini_AigStop() : miniaig.h
• Mini_AigVar2Lit() : miniaig.h
• Mini_AigXor() : miniaig.h
• mini_sort() : cvrm.c , espresso.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() : opo.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
• mintermsFromUniverse() : cuddSplit.c
• minWord() : luckySimple.c
• minWord3() : luckySimple.c
• Mio_CheckGates() : mioUtils.c
• Mio_CheckPins() : mioUtils.c
• Mio_CollectCopy() : mioUtils.c
• Mio_CollectRoots() : mio.h , mioUtils.c
• Mio_CollectRootsNew() : mio.h , mioUtils.c
• Mio_CollectRootsNewDefault() : mio.h , mioUtils.c
• Mio_CommandPrintGenlib() : mio.c
• Mio_CommandReadGenlib() : mio.c
• Mio_CommandReadLiberty() : mio.c
• Mio_CommandWriteGenlib() : mio.c
• Mio_CubeAnd() : mioSop.c
• Mio_CubeContains() : mioSop.c
• Mio_CubeEmpty() : mioSop.c
• Mio_CubeHasVar0() : mioSop.c
• Mio_CubeHasVar1() : mioSop.c
• Mio_CubeVar0() : mioSop.c
• Mio_CubeVar1() : mioSop.c
• Mio_DelayCompare() : mioUtils.c
• Mio_DelayCompareNew() : 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_GateCollectNames() : mioForm.c , mioFunc.c
• Mio_GateCompare() : mioRead.c
• Mio_GateCreatePseudo() : mio.h , mioUtils.c
• Mio_GateDelete() : mio.h , mioUtils.c
• Mio_GateParseFormula() : mioForm.c , mioFunc.c
• Mio_GateReadArea() : mio.h , mioApi.c
• Mio_GateReadDelayMax() : 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_GateReadSop() : mio.h , mioApi.c
• Mio_GateReadTruth() : mio.h , mioApi.c
• Mio_GateReadTruthP() : mioApi.c
• Mio_GateReadTwin() : mioApi.c , mio.h
• Mio_GateReadValue() : mio.h , mioApi.c
• Mio_GateSetValue() : mioApi.c , mio.h
• Mio_Init() : mainInit.c , mio.c
• Mio_LibDeriveSop() : mioSop.c , mio.h
• Mio_LibraryCompareGatesByArea() : mioRead.c
• Mio_LibraryCompareGatesByName() : mioRead.c
• Mio_LibraryDelete() : mio.h , mioUtils.c
• Mio_LibraryDetectSpecialGates() : mioRead.c
• Mio_LibraryMultiArea() : mio.h , mioUtils.c
• Mio_LibraryMultiDelay() : mio.h , mioUtils.c
• Mio_LibraryParseFormulas() : mioFunc.c , mio.h , mioForm.c
• Mio_LibraryRead() : mio.h , mioRead.c
• Mio_LibraryReadAnd2() : mioApi.c , mio.h
• Mio_LibraryReadAreaBuf() : mio.h , mioApi.c
• Mio_LibraryReadAreaInv() : mio.h , mioApi.c
• Mio_LibraryReadAreaNand2() : mio.h , mioApi.c
• Mio_LibraryReadBuf() : mioApi.c , mio.h
• Mio_LibraryReadBuffer() : mioRead.c
• Mio_LibraryReadConst0() : mio.h , mioApi.c
• Mio_LibraryReadConst1() : 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_LibraryReadGate() : mioRead.c
• Mio_LibraryReadGateArray() : mioApi.c , mio.h
• Mio_LibraryReadGateByName() : mio.h , mioApi.c
• Mio_LibraryReadGateNameMax() : mio.h , mioApi.c
• Mio_LibraryReadGateNum() : mio.h , mioApi.c
• Mio_LibraryReadGates() : mioApi.c , mio.h
• Mio_LibraryReadInternal() : mioRead.c
• Mio_LibraryReadInv() : mio.h , mioApi.c
• Mio_LibraryReadName() : mio.h , mioApi.c
• Mio_LibraryReadNand2() : mio.h , mioApi.c
• Mio_LibraryReadOne() : mioRead.c
• Mio_LibraryReadPin() : mioRead.c
• Mio_LibraryReadSopByName() : mio.h , mioApi.c
• Mio_LibraryShiftDelay() : mio.h , mioUtils.c
• Mio_LibrarySortGates() : mioRead.c
• Mio_LibraryTransferDelays() : mio.h , mioUtils.c
• Mio_ParseCheckFormula() : mio.h , mioParse.c
• Mio_ParseCheckName() : mioParse.c
• Mio_ParseFormula() : mioParse.c , mio.h
• 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() : mioApi.c , mio.h
• Mio_PinReadDelayBlockRise() : mio.h , mioApi.c
• Mio_PinReadDelayFanoutFall() : mioApi.c , mio.h
• Mio_PinReadDelayFanoutRise() : mio.h , mioApi.c
• Mio_PinReadInputLoad() : mioApi.c , mio.h
• Mio_PinReadMaxLoad() : mio.h , mioApi.c
• Mio_PinReadName() : mio.h , mioApi.c
• Mio_PinReadNext() : mio.h , mioApi.c
• Mio_PinReadPhase() : mioApi.c , mio.h
• 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_WriteLibrary() : mioUtils.c , mio.h
• Mio_WritePin() : mioUtils.c
• mkElimClause() : SimpSolver.cpp
• mmed3() : blocksort.c
• Mmr_FixedCreate() : mem2.h
• Mmr_FixedEntry() : mem2.h
• Mmr_FixedFetch() : mem2.h
• Mmr_FixedMemory() : mem2.h
• Mmr_FixedRecycle() : mem2.h
• Mmr_FixedStart() : mem2.h
• Mmr_FixedStop() : mem2.h
• Mmr_FlexEntry() : mem2.h
• Mmr_FlexFetch() : mem2.h
• Mmr_FlexRelease() : mem2.h
• Mmr_FlexStart() : mem2.h
• Mmr_FlexStop() : mem2.h
• Mmr_StepEntry() : mem2.h
• Mmr_StepFetch() : mem2.h
• Mmr_StepMemory() : mem2.h
• Mmr_StepRecycle() : mem2.h
• Mmr_StepStart() : mem2.h
• Mmr_StepStop() : mem2.h
• modifyAigToApplySafetyInvar() : kliveness.c
• most_frequent() : espresso.h , expand.c
• move_to_back() : abcSaucy.c
• Mpm_ComputeCnfSizeAll() : mpmPre.c
• Mpm_ComputeCnfSizeOne() : mpmPre.c
• Mpm_CutAlloc() : mpmMap.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_CutComputeTruth6() : mpmTruth.c
• Mpm_CutComputeTruth7() : mpmTruth.c
• Mpm_CutCopySet() : mpmMap.c
• Mpm_CutCreate() : mpmMap.c
• Mpm_CutCreateUnit() : mpmMap.c
• Mpm_CutCreateZero() : mpmMap.c
• Mpm_CutDataInt() : mpmAbc.c
• Mpm_CutDup() : mpmMap.c
• Mpm_CutFetch() : mpmInt.h
• Mpm_CutFindLeaf() : mpmMap.c
• Mpm_CutGetArea() : mpmMap.c
• Mpm_CutGetArrTime() : mpmMap.c
• Mpm_CutGetSign() : mpmMap.c
• Mpm_CutIsContained() : mpmMap.c
• Mpm_CutLeafNum() : mpmInt.h
• Mpm_CutPrint() : mpmInt.h , mpmMap.c
• Mpm_CutPrintAll() : mpmMap.c
• Mpm_CutSetDataInt() : mpmAbc.c
• Mpm_CutSetupInfo() : mpmMap.c
• Mpm_CutTruth() : mpmInt.h
• Mpm_CutTruthFromDsd() : mpmDsd.c , mpmInt.h
• Mpm_CutTruthMinimize6() : mpmTruth.c
• Mpm_CutTruthMinimize7() : mpmTruth.c
• Mpm_CutWordNum() : mpmInt.h
• Mpm_FuncCompute() : dauTree.c
• Mpm_LibLutFree() : mpmInt.h , mpmLib.c , mpm.h
• Mpm_LibLutSetSimple() : mpm.h , mpmInt.h , mpmLib.c
• Mpm_ManBuildHashTable() : mpmDsd.c
• Mpm_ManCellMapping() : mpmGates.c
• Mpm_ManCleanMapRefs() : mpmInt.h
• Mpm_ManCleanRequired() : mpmInt.h
• Mpm_ManComputeEstRefs() : mpmMap.c
• Mpm_ManDeriveCuts() : mpmMap.c
• Mpm_ManDeriveMappedAbcNtk() : mpmGates.c
• Mpm_ManExploreNewCut() : mpmMap.c
• Mpm_ManFinalizeRound() : mpmMap.c
• Mpm_ManFindArrivalMax() : mpmMap.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_ManMergeCuts() : mpmMap.c
• Mpm_ManNodeIfToGia() : mpmAbc.c
• Mpm_ManNodeIfToGia_rec() : mpmAbc.c
• Mpm_ManPerform() : mpmMap.c , mpmInt.h
• 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() : mpmMan.c , mpmInt.h
• 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_ObjArea() : mpmInt.h
• Mpm_ObjCollectFaninsAndSigns() : mpmMap.c
• Mpm_ObjCutBest() : mpmInt.h
• Mpm_ObjCutBestP() : mpmInt.h
• Mpm_ObjCutList() : mpmInt.h
• Mpm_ObjCutListP() : mpmInt.h
• Mpm_ObjDerefFaninCuts() : mpmMap.c
• Mpm_ObjEdge() : mpmInt.h
• Mpm_ObjEstRef() : mpmInt.h
• Mpm_ObjMapRef() : mpmInt.h
• Mpm_ObjPrepareFanins() : mpmMap.c
• Mpm_ObjRecycleCuts() : mpmMap.c
• Mpm_ObjRequired() : mpmInt.h
• Mpm_ObjSetArea() : mpmInt.h
• Mpm_ObjSetCutBest() : mpmInt.h
• Mpm_ObjSetCutList() : mpmInt.h
• Mpm_ObjSetEdge() : mpmInt.h
• Mpm_ObjSetEstRef() : mpmInt.h
• Mpm_ObjSetMapRef() : mpmInt.h
• Mpm_ObjSetRequired() : mpmInt.h
• Mpm_ObjSetTime() : mpmInt.h
• Mpm_ObjTime() : mpmInt.h
• Mpm_ObjTranslateCutsFromStore() : mpmMap.c
• Mpm_TruthStretch() : mpmTruth.c
• Mpm_VarsClear() : mpmInt.h
• Mpm_VarsSwap() : mpmInt.h
• Msat_ClauseCalcReason() : msatInt.h , msatClause.c
• Msat_ClauseComputeTruth() : msatInt.h
• Msat_ClauseCreate() : msatInt.h , msatClause.c
• Msat_ClauseCreateFake() : msatInt.h
• Msat_ClauseCreateFakeLit() : msatInt.h
• Msat_ClauseFree() : msatClause.c , msatInt.h
• Msat_ClauseIsLocked() : msatClause.c , msatInt.h
• Msat_ClausePrint() : msatInt.h , msatClause.c
• Msat_ClausePrintSymbols() : msatClause.c , msatInt.h
• Msat_ClausePropagate() : msatClause.c , msatInt.h
• Msat_ClauseReadActivity() : msatClause.c , msatInt.h
• Msat_ClauseReadLearned() : msatInt.h , msatClause.c
• Msat_ClauseReadLits() : msatClause.c , msatInt.h
• Msat_ClauseReadMark() : msatClause.c , msatInt.h
• Msat_ClauseReadNum() : msatClause.c , msatInt.h
• Msat_ClauseReadSize() : msatInt.h , msatClause.c
• Msat_ClauseReadTypeA() : msatInt.h , msatClause.c
• Msat_ClauseRemoveWatch() : msatClause.c , msatInt.h
• Msat_ClauseSetMark() : msatInt.h , msatClause.c
• Msat_ClauseSetNum() : msatInt.h , msatClause.c
• Msat_ClauseSetTypeA() : msatClause.c , msatInt.h
• Msat_ClauseSimplify() : msatClause.c , msatInt.h
• Msat_ClauseVecAlloc() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecClear() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecFree() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecGrow() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecPop() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecPush() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecReadArray() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecReadEntry() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadSize() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecShrink() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecWriteEntry() : msatInt.h , msatClauseVec.c
• Msat_ClauseWriteActivity() : msatClause.c , msatInt.h
• Msat_ClauseWriteDimacs() : msatClause.c , msatInt.h
• Msat_FileRead() : msatRead.c
• Msat_HeapCheck_rec() : msatOrderH.c
• Msat_HeapGetTop() : msatOrderH.c
• Msat_HeapIncrease() : msatOrderH.c
• Msat_HeapInsert() : msatOrderH.c
• Msat_HeapPercolateDown() : msatOrderH.c
• Msat_HeapPercolateUp() : msatOrderH.c
• Msat_IntVecAlloc() : msatVec.c , msat.h
• Msat_IntVecAllocArray() : msat.h , msatVec.c
• Msat_IntVecAllocArrayCopy() : msatVec.c , msat.h
• Msat_IntVecClear() : msatVec.c , msat.h
• Msat_IntVecDup() : msatVec.c , msat.h
• Msat_IntVecDupArray() : msat.h , msatVec.c
• Msat_IntVecFill() : msatVec.c , msat.h
• Msat_IntVecFree() : msatVec.c , msat.h
• Msat_IntVecGrow() : msatVec.c , msat.h
• Msat_IntVecPop() : msatVec.c , msat.h
• Msat_IntVecPush() : msatVec.c , msat.h
• Msat_IntVecPushUnique() : msatVec.c , msat.h
• Msat_IntVecPushUniqueOrder() : msatVec.c , msat.h
• Msat_IntVecReadArray() : msatVec.c , msat.h
• Msat_IntVecReadEntry() : msat.h , msatVec.c
• Msat_IntVecReadEntryLast() : msatVec.c , msat.h
• Msat_IntVecReadSize() : msatVec.c , msat.h
• Msat_IntVecReleaseArray() : msatVec.c , msat.h
• Msat_IntVecShrink() : msatVec.c , msat.h
• Msat_IntVecSort() : msatVec.c , msat.h
• Msat_IntVecSortCompare1() : msatVec.c
• Msat_IntVecSortCompare2() : msatVec.c
• Msat_IntVecWriteEntry() : msatVec.c , msat.h
• Msat_MmFixedEntryFetch() : msatInt.h , msatMem.c
• Msat_MmFixedEntryRecycle() : msatMem.c , msatInt.h
• Msat_MmFixedReadMemUsage() : msatMem.c , msatInt.h
• Msat_MmFixedRestart() : msatMem.c , msatInt.h
• Msat_MmFixedStart() : msatMem.c , msatInt.h
• Msat_MmFixedStop() : msatMem.c , msatInt.h
• Msat_MmFlexEntryFetch() : msatInt.h , msatMem.c
• Msat_MmFlexReadMemUsage() : msatMem.c , msatInt.h
• Msat_MmFlexStart() : msatInt.h , msatMem.c
• Msat_MmFlexStop() : msatMem.c , msatInt.h
• Msat_MmStepEntryFetch() : msatMem.c , msatInt.h
• Msat_MmStepEntryRecycle() : msatMem.c , msatInt.h
• Msat_MmStepReadMemUsage() : msatInt.h , msatMem.c
• Msat_MmStepStart() : msatMem.c , msatInt.h
• Msat_MmStepStop() : msatMem.c , msatInt.h
• Msat_OrderAlloc() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_OrderCheck() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderClean() : msatOrderH.c , msatOrderJ.c , msatInt.h
• Msat_OrderFree() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_OrderRingAddLast() : msatOrderJ.c
• Msat_OrderRingRemove() : msatOrderJ.c
• Msat_OrderSetBounds() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_OrderUpdate() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderVarAssigned() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_OrderVarSelect() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderVarUnassigned() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_QueueAlloc() : msatInt.h , msatQueue.c
• Msat_QueueClear() : msatInt.h , msatQueue.c
• Msat_QueueExtract() : msatQueue.c , msatInt.h
• Msat_QueueFree() : msatInt.h , msatQueue.c
• Msat_QueueInsert() : msatInt.h , msatQueue.c
• Msat_QueueReadSize() : msatInt.h , msatQueue.c
• Msat_ReadClause() : msatRead.c
• Msat_ReadDimacs() : msatRead.c
• Msat_ReadInt() : msatRead.c
• Msat_ReadNotWhitespace() : msatRead.c
• Msat_ReadWhitespace() : msatRead.c
• Msat_SolverAddClause() : msat.h , msatSolverCore.c
• Msat_SolverAddVar() : msatSolverCore.c , msat.h
• Msat_SolverAlloc() : msatSolverApi.c , msat.h
• Msat_SolverAnalyze() : msatSolverSearch.c
• Msat_SolverAssume() : msatInt.h , msatSolverSearch.c
• Msat_SolverCancel() : msatSolverSearch.c
• Msat_SolverCancelUntil() : msatSolverSearch.c , msatInt.h
• Msat_SolverClaBumpActivity() : msatActivity.c , msatInt.h
• Msat_SolverClaDecayActivity() : msatInt.h , msatActivity.c
• Msat_SolverClaRescaleActivity() : msatActivity.c , msatInt.h
• Msat_SolverClausesDecrement() : msatSolverApi.c , msatInt.h
• Msat_SolverClausesDecrementL() : msatSolverApi.c , msatInt.h
• Msat_SolverClausesIncrement() : msatSolverApi.c , msatInt.h
• Msat_SolverClausesIncrementL() : msatSolverApi.c , msatInt.h
• Msat_SolverClean() : msat.h , msatSolverApi.c
• Msat_SolverEnqueue() : msatInt.h , msatSolverSearch.c
• Msat_SolverFree() : msatSolverApi.c , msat.h
• Msat_SolverIncrementSeenId() : msatInt.h , msatSolverApi.c
• Msat_SolverMarkClausesStart() : msatSolverApi.c , msat.h
• Msat_SolverMarkLastClauseTypeA() : msatSolverApi.c , msat.h
• Msat_SolverParseDimacs() : msatRead.c , msat.h
• Msat_SolverPrepare() : msatSolverApi.c , msat.h
• Msat_SolverPrintAssignment() : msatSolverIo.c , msat.h
• Msat_SolverPrintClauses() : msatSolverIo.c , msat.h
• Msat_SolverPrintStats() : msatSolverCore.c , msat.h
• Msat_SolverProgressEstimate() : msatSolverCore.c , msatInt.h
• Msat_SolverPropagate() : msatSolverSearch.c , msatInt.h
• Msat_SolverReadAdjacents() : msat.h , msatSolverApi.c
• Msat_SolverReadAssignsArray() : msatSolverApi.c , msat.h
• Msat_SolverReadBackTracks() : msat.h , msatSolverApi.c
• Msat_SolverReadClause() : msatSolverApi.c , msatInt.h
• Msat_SolverReadClauseNum() : msat.h , msatSolverApi.c
• Msat_SolverReadConeVars() : msatSolverApi.c , msat.h
• Msat_SolverReadDecisionLevel() : msatInt.h , msatSolverApi.c
• Msat_SolverReadDecisionLevelArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadFactors() : msat.h , msatSolverApi.c
• Msat_SolverReadInspects() : msatSolverApi.c , msat.h
• Msat_SolverReadLearned() : msatSolverApi.c , msatInt.h
• Msat_SolverReadMem() : msatInt.h , msatSolverApi.c
• Msat_SolverReadModelArray() : msat.h , msatSolverApi.c
• Msat_SolverReadReasonArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadSeenArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadSolutions() : msat.h
• Msat_SolverReadSolutionsArray() : msat.h
• Msat_SolverReadTruth() : msat.h
• Msat_SolverReadVarAllocNum() : msatSolverApi.c , msat.h
• Msat_SolverReadVarNum() : msatSolverApi.c , msat.h
• Msat_SolverReadVarsUsed() : msatSolverApi.c , msat.h
• Msat_SolverReadVarValue() : msatInt.h , msatSolverApi.c
• Msat_SolverReadWatchedArray() : msatSolverApi.c , msatInt.h
• Msat_SolverRecord() : msatSolverSearch.c
• Msat_SolverReduceDB() : msatSolverSearch.c
• Msat_SolverRemoveLearned() : msat.h , msatSolverSearch.c
• Msat_SolverRemoveMarked() : msatSolverSearch.c , msat.h
• Msat_SolverResize() : msatSolverApi.c , msat.h
• Msat_SolverSearch() : msatSolverSearch.c , msatInt.h
• Msat_SolverSetProofWriting() : msat.h
• Msat_SolverSetupTruthTables() : msatSolverApi.c
• Msat_SolverSetVarMap() : msat.h
• Msat_SolverSetVarTypeA() : msat.h
• Msat_SolverSetVerbosity() : msat.h , msatSolverApi.c
• Msat_SolverSimplifyDB() : msatSolverSearch.c , msat.h
• Msat_SolverSolve() : msatSolverCore.c , msat.h
• Msat_SolverSort() : msatSort.c
• Msat_SolverSortCompare() : msatSort.c
• Msat_SolverSortDB() : msatSort.c , msatInt.h
• Msat_SolverSortSelection() : msatSort.c
• Msat_SolverUndoOne() : msatSolverSearch.c
• Msat_SolverVarBumpActivity() : msatInt.h , msatActivity.c
• Msat_SolverVarDecayActivity() : msatInt.h , msatActivity.c
• Msat_SolverVarRescaleActivity() : msatInt.h , msatActivity.c
• Msat_SolverWriteDimacs() : msatSolverIo.c , msat.h
• Msat_TimeStamp() : 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() : mtrBasic.c , mtr.h
• Mtr_CopyTree() : mtr.h , mtrBasic.c
• Mtr_CreateFirstChild() : mtr.h , mtrBasic.c
• Mtr_CreateLastChild() : mtr.h , mtrBasic.c
• Mtr_DeallocNode() : mtrBasic.c , mtr.h
• Mtr_DissolveGroup() : mtr.h , mtrGroup.c
• Mtr_FindGroup() : mtrGroup.c , mtr.h
• Mtr_FreeTree() : mtrBasic.c , mtr.h
• Mtr_InitGroupTree() : mtrGroup.c , mtr.h
• Mtr_InitTree() : mtrBasic.c , mtr.h
• Mtr_MakeFirstChild() : mtrBasic.c , mtr.h
• Mtr_MakeGroup() : mtrGroup.c , mtr.h
• Mtr_MakeLastChild() : mtrBasic.c , mtr.h
• Mtr_MakeNextSibling() : mtr.h , mtrBasic.c
• Mtr_PrintGroups() : mtrGroup.c , mtr.h
• Mtr_PrintTree() : mtrBasic.c , mtr.h
• Mtr_ReadGroups() : mtr.h , mtrGroup.c
• Mtr_SwapGroups() : mtrGroup.c , mtr.h
• mtrShiftHL() : mtrGroup.c
• multiply_index() : abcSaucy.c
• Mux_ManAlloc() : giaMuxes.c
• Mux_ManFree() : giaMuxes.c
• mv_reduce() : espresso.h , sparse.c
• Mvc_CoverAddCubeHead_() : mvcList.c , mvc.h
• Mvc_CoverAddCubeTail_() : mvc.h , mvcList.c
• Mvc_CoverAddDupCubeHead() : mvc.h , mvcList.c
• Mvc_CoverAddDupCubeTail() : mvcList.c , mvc.h
• Mvc_CoverAddLiteralsOfCube() : mvc.h , mvcList.c
• Mvc_CoverAlgebraicEqual() : mvcOpAlg.c , mvc.h
• Mvc_CoverAlgebraicMultiply() : mvc.h , mvcOpAlg.c
• Mvc_CoverAlgebraicSubtract() : mvcOpAlg.c , mvc.h
• Mvc_CoverAlloc() : mvcCover.c , mvc.h
• Mvc_CoverAllocateArrayCubes() : mvc.h , mvcCover.c
• Mvc_CoverAllocateArrayLits() : mvc.h , mvcCover.c
• Mvc_CoverAllocateMask() : mvcCover.c , mvc.h
• Mvc_CoverAnyLiteral() : mvc.h , mvcLits.c
• Mvc_CoverAppendCubes() : mvc.h
• Mvc_CoverArray2List() : mvcList.c , mvc.h
• Mvc_CoverBestLiteral() : mvcLits.c , mvc.h
• Mvc_CoverBestLiteralCover() : mvcLits.c , mvc.h
• Mvc_CoverBooleanAnd() : mvc.h
• Mvc_CoverBooleanEqual() : mvc.h
• Mvc_CoverBooleanOr() : mvcOpBool.c , mvc.h
• Mvc_CoverCheckSuppContainment() : mvc.h , mvcUtils.c
• Mvc_CoverClone() : mvcCover.c , mvc.h
• Mvc_CoverCofactor() : mvc.h , mvcUtils.c
• Mvc_CoverCofactors() : mvc.h
• Mvc_CoverCommonCube() : mvc.h , mvcUtils.c
• Mvc_CoverCommonCubeCover() : mvcUtils.c , mvc.h
• Mvc_CoverComplement() : mvc.h
• Mvc_CoverContain() : mvcContain.c , mvc.h
• Mvc_CoverCopyAndAppendCubes() : mvc.h
• Mvc_CoverCopyColumn() : mvcUtils.c
• Mvc_CoverCountCubePairDiffs() : mvcUtils.c , mvc.h
• Mvc_CoverCountLiterals() : mvcLits.c , mvc.h
• Mvc_CoverCreateConst() : mvc.h
• Mvc_CoverCreateEmpty() : mvcApi.c , mvc.h
• Mvc_CoverCreateTautology() : mvcApi.c , mvc.h
• Mvc_CoverDeallocateArrayLits() : mvcCover.c , mvc.h
• Mvc_CoverDeallocateMask() : mvc.h , mvcCover.c
• Mvc_CoverDeleteCube_() : mvcList.c , mvc.h
• Mvc_CoverDeleteLiteralsOfCube() : mvcList.c , mvc.h
• Mvc_CoverDist0Cubes() : mvc.h
• Mvc_CoverDist1Merge() : mvc.h
• Mvc_CoverDivide() : mvcDivide.c , mvc.h
• Mvc_CoverDivideByCube() : mvc.h , mvcDivide.c
• Mvc_CoverDivideByLiteral() : mvc.h , mvcDivide.c
• Mvc_CoverDivideByLiteralQuo() : mvcDivide.c , mvc.h
• Mvc_CoverDivideInternal() : mvcDivide.c , mvc.h
• Mvc_CoverDivisor() : mvc.h , mvcDivisor.c
• Mvc_CoverDivisorZeroKernel() : mvcDivisor.c
• Mvc_CoverDup() : mvc.h , mvcCover.c
• Mvc_CoverFirstCubeFirstLit() : mvc.h , mvcLits.c
• Mvc_CoverFlipVar() : mvc.h , mvcUtils.c
• Mvc_CoverFree() : mvcCover.c , mvc.h
• Mvc_CoverGetCubeSize() : mvc.h , mvcUtils.c
• Mvc_CoverIntersectCubes() : mvc.h
• Mvc_CoverInverse() : mvcUtils.c , mvc.h
• Mvc_CoverIsBinaryBuffer() : mvc.h , mvcApi.c
• Mvc_CoverIsCubeFree() : mvcUtils.c , mvc.h
• Mvc_CoverIsEmpty() : mvc.h , mvcApi.c
• Mvc_CoverIsIntersecting() : mvc.h
• Mvc_CoverIsOneLiteral() : mvc.h , mvcLits.c
• Mvc_CoverIsTautology() : mvc.h , mvcApi.c
• Mvc_CoverList2Array() : mvcList.c , mvc.h
• Mvc_CoverMakeCubeFree() : mvc.h , mvcUtils.c
• Mvc_CoverMakeEmpty() : mvcApi.c , mvc.h
• Mvc_CoverMakeTautology() : mvc.h , mvcApi.c
• Mvc_CoverMinimizeByReshape() : mvc.h
• Mvc_CoverPrint() : mvcPrint.c , mvc.h
• Mvc_CoverPrintBinary() : mvcPrint.c
• Mvc_CoverPrintMv() : mvc.h
• Mvc_CoverReadBitNum() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeHead() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeList() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeNum() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeTail() : mvc.h , mvcApi.c
• Mvc_CoverReadWordNum() : mvcApi.c , mvc.h
• Mvc_CoverRemap() : mvcUtils.c , mvc.h
• Mvc_CoverRemoveContained() : mvcContain.c
• Mvc_CoverRemoveCubes() : mvc.h
• Mvc_CoverRemoveDontCareLits() : mvc.h , mvcUtils.c
• Mvc_CoverRemoveDuplicates() : mvcContain.c
• Mvc_CoverSetCubeHead() : mvcApi.c , mvc.h
• Mvc_CoverSetCubeList() : mvc.h , mvcApi.c
• Mvc_CoverSetCubeNum() : mvcApi.c , mvc.h
• Mvc_CoverSetCubeSizes() : mvc.h , mvcUtils.c
• Mvc_CoverSetCubeTail() : mvc.h , mvcApi.c
• Mvc_CoverSharp() : mvc.h
• Mvc_CoverSort() : mvcSort.c , mvc.h
• Mvc_CoverSort_rec() : mvcSort.c
• Mvc_CoverSortMerge() : mvcSort.c
• Mvc_CoverSupport() : mvcUtils.c , mvc.h
• Mvc_CoverSupportAnd() : mvcUtils.c
• Mvc_CoverSupportSizeBinary() : mvcUtils.c , mvc.h
• Mvc_CoverSupportVarBelongs() : mvcUtils.c , mvc.h
• Mvc_CoverTautology() : mvc.h
• Mvc_CoverTranspose() : mvcUtils.c , mvc.h
• Mvc_CoverUnivQuantify() : mvcUtils.c , mvc.h
• Mvc_CoverVerifyDivision() : mvcDivide.c
• Mvc_CoverWorstLiteral() : mvcLits.c , mvc.h
• Mvc_CubeAlloc() : mvcCube.c , mvc.h
• Mvc_CubeBitRemoveDcs() : mvc.h , mvcCube.c
• Mvc_CubeCompareInt() : mvcCompare.c , mvc.h
• Mvc_CubeCompareIntOutsideAndUnderMask() : mvcCompare.c , mvc.h
• 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() : mvcPrint.c , mvc.h
• Mvc_CubePrintBinary() : mvcPrint.c
• Mvc_CubePrintMv() : mvc.h
• Mvc_ListAddCubeHead_() : mvc.h , mvcList.c
• Mvc_ListAddCubeTail_() : mvc.h , mvcList.c
• Mvc_ListDeleteCube_() : mvcList.c , mvc.h
• Mvc_ListGetTailFromHead() : mvcList.c , mvc.h
• Mvc_ListReadCubeHead() : mvc.h , mvcApi.c
• Mvc_ListReadCubeNum() : mvcApi.c , mvc.h
• Mvc_ListReadCubeTail() : mvcApi.c , mvc.h
• Mvc_ManagerAllocCover() : mvc.h
• Mvc_ManagerAllocCube() : mvc.h
• Mvc_ManagerFree() : mvc.h , mvcMan.c
• Mvc_ManagerFreeCover() : mvc.h
• Mvc_ManagerFreeCube() : mvc.h
• Mvc_ManagerStart() : mvcMan.c , mvc.h
• Mvc_UtilsCheckUnusedZeros() : mvcUtils.c , mvc.h
• Mvr_CoverCountLitsWithValue() : mvc.h
• myfeof() : bzlib.c