Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- m -

• M() : kitPerm.c
• M114p_Solver_t : m114p_types.h
• M114p_SolverAddClause() : m114p.h
• M114p_SolverDelete() : m114p.h
• M114p_SolverForEachChain : m114p.h
• M114p_SolverForEachRoot : 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
• m_Calls : dauGia.c
• m_Non1Step : dauGia.c
• m_NonDsd : dauGia.c
• MAGIC : sharp.c , unate.c
• main() : starter.c , base/main/main.c , mainInt.h , mainMC.c , testcudd.c , demo.c , misc/espresso/main.c , place_test.c
• MAIN_QSORT_DEPTH_THRESH : blocksort.c
• MAIN_QSORT_SMALL_THRESH : blocksort.c
• MAIN_QSORT_STACK_SIZE : blocksort.c
• mainGtU() : blocksort.c
• mainQSort3() : blocksort.c
• MainSat() : MainSat.cpp
• MainSimp() : MainSimp.cpp
• mainSimpleSort() : blocksort.c
• mainSort() : blocksort.c
• make_disjoint() : espresso.h , sharp.c
• 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_CO_LIST_SIZE : mapperUtils.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_Cut_t : mapper.h
• 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_CutIsComplement : 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_CutNot : mapperInt.h
• Map_CutNotCond : mapperInt.h
• 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() : mapperCreate.c , mapper.h
• Map_CutReadSuper1() : mapper.h , mapperCreate.c
• Map_CutReadSuperBest() : mapper.h , mapperCreate.c
• Map_CutRef() : mapperInt.h , mapperRefs.c
• Map_CutRefDeref() : mapperRefs.c
• Map_CutRegular : mapperInt.h
• Map_CutRemoveFanouts() : mapperInt.h
• MAP_CUTS_MAX_COMPUTE : mapperCut.c
• MAP_CUTS_MAX_USE : mapperCut.c
• Map_CutsCollect_rec() : mapperTruth.c
• Map_CutSortCuts() : mapperCut.c
• Map_CutSortCutsCompare() : mapperCut.c
• Map_CutTable_t : 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_FLOAT_LARGE : mapperInt.h
• MAP_FLOAT_SMALL : mapperInt.h
• MAP_FULL : mapperInt.h
• Map_HashEntry_t : mapper.h
• Map_HashKey2() : mapperCreate.c
• Map_HashTable_t : mapper.h
• Map_InfoFlipVar : mapperInt.h
• Map_InfoReadVar : mapperInt.h
• Map_InfoRemVar : mapperInt.h
• Map_InfoSetVar : mapperInt.h
• Map_Init() : mainInit.c , mapper.c
• Map_IsComplement : mapper.h
• 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_ListForEachCut : mapperCut.c
• Map_ListForEachCutSafe : mapperCut.c
• Map_Man_t : mapper.h
• 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_MASK : mapperInt.h
• Map_Match_t : mapper.h
• Map_MatchClean() : mapperMatch.c
• Map_MatchCompare() : mapperMatch.c
• Map_MatchComputeReqTimes() : mapperTime.c
• Map_MatchNodeCut() : mapperMatch.c
• Map_MatchNodePhase() : mapperMatch.c
• MAP_MAX : mapperInt.h
• MAP_MIN : mapperInt.h
• Map_NetworkSweep() : mapper.h
• MAP_NO_VAR : mapperInt.h
• Map_Node_t : 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_NodeForEachFanout : mapperInt.h
• Map_NodeForEachFanoutSafe : mapperInt.h
• 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_NodeIsSimComplement : mapperInt.h
• 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_NodeReadNextFanout : mapperInt.h
• Map_NodeReadNextFanoutPlace : mapperInt.h
• Map_NodeReadNum() : mapper.h , mapperCreate.c
• Map_NodeReadOne() : mapper.h , mapperCreate.c
• Map_NodeReadRef : mapperInt.h
• Map_NodeReadRefPhaseAct() : mapperRefs.c
• Map_NodeReadRefPhaseEst() : mapperRefs.c
• Map_NodeReadTwo() : mapper.h , mapperCreate.c
• Map_NodeRef : mapperInt.h
• 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_NodeVec_t : mapper.h
• 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_Not : mapper.h
• Map_NotCond : mapper.h
• map_output_symbolic() : espresso.h , hack.c
• MAP_RANDOM_UNSIGNED : mapperInt.h
• Map_Regular : mapper.h
• Map_Super_t : mapper.h
• Map_SuperLib_t : mapper.h
• 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() : hack.c , espresso.h
• map_symbolic_cover() : espresso.h , hack.c
• MAP_TABLE_HASH : mapperTable.c
• Map_TableCreate() : mapperCreate.c
• Map_TableResize() : mapperCreate.c
• Map_Time_t : mapper.h
• 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
• mapindex : map.c
• mapVar() : Solver.cpp
• mark_irredundant() : espresso.h , irred.c
• MarkCacheCleanUp() : cuddGenCof.c
• MarkCacheCompare() : cuddGenCof.c
• MarkCacheHash() : cuddGenCof.c
• MarkCacheKey : cuddGenCof.c
• mask0 : luckySwap.c
• massive_count() : cofactor.c , espresso.h
• MATCH : inflate.h
• match1by1() : abcBm.c
• matchFile : abcBm.c
• matchNonSingletonOutputs() : abcBm.c
• MAX : avl.h , util_old.h
• max : cuddSubsetHB.c
• MAX_BITS : deflate.h
• MAX_BL_BITS : trees.c
• MAX_CALL_NUM : giaEra2.c
• MAX_COMM_NUM : starter.c
• MAX_CUBE_NUM : giaEra2.c
• MAX_DIST : deflate.h
• max_insert_length : deflate.h
• MAX_ITEM_NUM : giaEra2.c
• MAX_LEARNTS : abcSaucy.c
• MAX_LIBS : libSupport.c
• MAX_MATCH : zutil.h
• MAX_MEM_LEVEL : zconf.h
• MAX_PAGE_NUM : giaEra2.c
• MAX_PARTITION_NONSYMMETRY : place_gordian.h
• MAX_PRIMES : fxuPair.c
• MAX_SIZE_LOOKAHEAD : fxuSelect.c
• MAX_VAL : darCore.c
• MAX_VARS_NUM : giaEra2.c
• MAX_WBITS : zconf.h
• MAXBITS : inftrees.c
• MAXGEN_RATIO : cuddAnneal.c
• MAXINPUTS : cas.h , dsdInt.h
• MAXINT : util_old.h
• maxNodeDataPages : cuddSubsetHB.c
• maxNodeDistPages : cuddSubsetSP.c
• MAXOUTPUTS : cas.h
• maxPages : cuddSubsetHB.c
• maxQueuePages : cuddSubsetSP.c
• MAXSHORTINT : cuddSubsetSP.c
• MAXVARS : extraBddKmap.c
• MAYBE : espresso.h
• maybe_split() : abcSaucy.c
• median() : abcSaucy.c
• MEM : inflate.h
• MEM_ALLOC : mvc.h
• MEM_ALLOC_FXU : fxuInt.h
• Mem_Fixed_t : mem.h
• 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_Flex_t : 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_FREE : mvc.h
• MEM_FREE_FXU : fxuInt.h
• Mem_Step_t : 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
• memOut : cuddSubsetHB.c , cuddSubsetSP.c
• memset() : util_old.h
• Mf_CubeLit() : giaMf.c
• MF_CUT_MAX : giaMf.c
• Mf_Cut_t : 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_LEAF_MAX : giaMf.c
• MF_LOG_PAGE : giaMf.c
• Mf_Man_t : 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_NO_FUNC : giaMf.c
• MF_NO_LEAF : giaMf.c
• Mf_Obj_t : giaMf.c
• Mf_ObjComputeBestCut() : giaMf.c
• Mf_ObjCutBest() : giaMf.c
• Mf_ObjCutSet() : giaMf.c
• Mf_ObjForEachCut : 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_SetForEachCut : giaMf.c
• Mf_SetLastCutContainsArea() : giaMf.c
• Mf_SetLastCutIsContained() : giaMf.c
• Mf_SetSortByArea() : giaMf.c
• MF_TT_WORDS : giaMf.c
• MFS_FANIN_MAX : mfsInt.h
• Mfs_Man_t : mfsInt.h
• Mfs_ManAlloc() : mfsInt.h , mfsMan.c
• Mfs_ManClean() : mfsInt.h , mfsMan.c
• Mfs_ManPrint() : mfsMan.c
• Mfs_ManStop() : mfsInt.h , mfsMan.c
• Mfs_Par_t : mfs.h
• MIG_BASE : mpmMig.h
• Mig_Fan_t : mpmMig.h
• 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_Man_t : 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_ManForEachCand : mpmMig.h
• Mig_ManForEachCi : mpmMig.h
• Mig_ManForEachCo : mpmMig.h
• Mig_ManForEachNode : mpmMig.h
• Mig_ManForEachObj : mpmMig.h
• Mig_ManForEachObj1 : mpmMig.h
• Mig_ManForEachObjReverse : mpmMig.h
• Mig_ManForEachObjVec : mpmMig.h
• 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_MASK : mpmMig.h
• MIG_NONE : mpmMig.h
• Mig_Obj_t : 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_ObjForEachFanin : mpmMig.h
• Mig_ObjForEachFaninId : 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 : util_old.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_CoverForEachCube : covInt.h
• Min_CoverForEachCubePrev : covInt.h
• Min_CoverForEachCubeSafe : 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_Cube_t : covInt.h
• 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_LOOKAHEAD : deflate.h
• Min_Man_t : covInt.h
• Min_ManAlloc() : covInt.h , covMinMan.c
• Min_ManClean() : covInt.h , covMinMan.c
• Min_ManFree() : covInt.h , covMinMan.c
• MIN_MATCH : zutil.h
• 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
• mincov() : espresso.h , expand.c
• MINCOV1 : espresso.h
• MINCOV_TIME : espresso.h
• MINI_AIG_ALLOC : miniaig.h
• MINI_AIG_CALLOC : miniaig.h
• MINI_AIG_FALLOC : miniaig.h
• MINI_AIG_FREE : miniaig.h
• MINI_AIG_NULL : miniaig.h
• MINI_AIG_REALLOC : miniaig.h
• MINI_AIG_START_SIZE : miniaig.h
• Mini_Aig_t : miniaig.h
• Mini_AigAnd() : miniaig.h
• Mini_AigCheck() : miniaig.h
• Mini_AigCreatePi() : miniaig.h
• Mini_AigCreatePo() : miniaig.h
• Mini_AigDump() : miniaig.h
• Mini_AigForEachAnd : miniaig.h
• Mini_AigForEachPi : miniaig.h
• Mini_AigForEachPo : 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
• mintermPages : cuddSubsetHB.c
• minterms() : espresso.h , map.c
• mintermsFromUniverse() : cuddSplit.c
• minWord() : luckySimple.c
• minWord3() : luckySimple.c
• Mio_Cell_t : mio.h
• 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_EQN_FLAG_ERROR : mioParse.c
• MIO_EQN_FLAG_OPER : mioParse.c
• MIO_EQN_FLAG_START : mioParse.c
• MIO_EQN_FLAG_VAR : mioParse.c
• MIO_EQN_OPER_AND : mioParse.c
• MIO_EQN_OPER_MARK : mioParse.c
• MIO_EQN_OPER_NEG : mioParse.c
• MIO_EQN_OPER_OR : mioParse.c
• MIO_EQN_OPER_XOR : mioParse.c
• MIO_EQN_SYM_AND : mioParse.c
• MIO_EQN_SYM_AND2 : mioParse.c
• MIO_EQN_SYM_CLOSE : mioParse.c
• MIO_EQN_SYM_CONST0 : mioParse.c
• MIO_EQN_SYM_CONST1 : mioParse.c
• MIO_EQN_SYM_NEG : mioParse.c
• MIO_EQN_SYM_NEGAFT : mioParse.c
• MIO_EQN_SYM_OPEN : mioParse.c
• MIO_EQN_SYM_OR : mioParse.c
• MIO_EQN_SYM_OR2 : mioParse.c
• MIO_EQN_SYM_XOR : mioParse.c
• MIO_FULL : mioInt.h
• Mio_Gate_t : mio.h
• Mio_GateCollectNames() : mioForm.c , mioFunc.c
• Mio_GateCompare() : mioRead.c
• Mio_GateCreatePseudo() : mio.h , mioUtils.c
• Mio_GateDelete() : mio.h , mioUtils.c
• Mio_GateForEachPin : mio.h
• Mio_GateForEachPinSafe : mio.h
• 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() : mioApi.c , mio.h
• Mio_GateReadTruthP() : mioApi.c
• Mio_GateReadTwin() : mio.h , mioApi.c
• Mio_GateReadValue() : mio.h , mioApi.c
• Mio_GateSetValue() : mio.h , mioApi.c
• Mio_Init() : mainInit.c , mio.c
• Mio_LibDeriveSop() : mio.h , mioSop.c
• Mio_Library_t : mio.h
• Mio_LibraryCompareGatesByArea() : mioRead.c
• Mio_LibraryCompareGatesByName() : mioRead.c
• Mio_LibraryDelete() : mioUtils.c , mio.h
• Mio_LibraryDetectSpecialGates() : mioRead.c
• Mio_LibraryForEachGate : mio.h
• Mio_LibraryForEachGateSafe : mio.h
• Mio_LibraryMultiArea() : mio.h , mioUtils.c
• Mio_LibraryMultiDelay() : mio.h , mioUtils.c
• Mio_LibraryParseFormulas() : mio.h , mioForm.c , mioFunc.c
• Mio_LibraryRead() : mioRead.c , mio.h
• Mio_LibraryReadAnd2() : mio.h , mioApi.c
• Mio_LibraryReadAreaBuf() : mioApi.c , mio.h
• Mio_LibraryReadAreaInv() : mio.h , mioApi.c
• Mio_LibraryReadAreaNand2() : mioApi.c , mio.h
• Mio_LibraryReadBuf() : mio.h , mioApi.c
• 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() : mio.h , mioApi.c
• Mio_LibraryReadGateByName() : mioApi.c , mio.h
• Mio_LibraryReadGateNameMax() : mio.h , mioApi.c
• Mio_LibraryReadGateNum() : mioApi.c , mio.h
• Mio_LibraryReadGates() : mio.h , mioApi.c
• 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_MASK : mioInt.h
• 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_PHASE_INV : mio.h
• MIO_PHASE_NONINV : mio.h
• MIO_PHASE_UNKNOWN : mio.h
• Mio_Pin_t : mio.h
• Mio_PinDelete() : mio.h , mioUtils.c
• Mio_PinDup() : mio.h , mioUtils.c
• Mio_PinPhase_t : mio.h
• 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_STRING_CONST0 : mioInt.h
• MIO_STRING_CONST1 : mioInt.h
• MIO_STRING_GATE : mioInt.h
• MIO_STRING_INV : mioInt.h
• MIO_STRING_LATCH : mioInt.h
• MIO_STRING_NONINV : mioInt.h
• MIO_STRING_PIN : mioInt.h
• MIO_STRING_UNKNOWN : mioInt.h
• MIO_SYMB_AFTNOT : mioForm.c , mioFunc.c
• MIO_SYMB_AND : mioForm.c , mioFunc.c
• MIO_SYMB_AND2 : mioForm.c , mioFunc.c
• MIO_SYMB_CLOSE : mioForm.c , mioFunc.c
• MIO_SYMB_NOT : mioForm.c , mioFunc.c
• MIO_SYMB_OPEN : mioForm.c , mioFunc.c
• MIO_SYMB_OR : mioForm.c , mioFunc.c
• MIO_SYMB_OR2 : mioForm.c , mioFunc.c
• MIO_SYMB_XOR : mioForm.c , mioFunc.c
• Mio_UpdateGenlib() : mio.c , mio.h
• Mio_UpdateGenlib2() : mio.c , mio.h
• Mio_WriteGate() : mioUtils.c
• Mio_WriteLibrary() : mio.h , mioUtils.c
• Mio_WritePin() : mioUtils.c
• mkElimClause() : SimpSolver.cpp
• mmed3() : blocksort.c
• mmin : blocksort.c
• MMoutOfMemory : util_hack.h
• Mmr_Fixed_t : mem2.h
• 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_Flex_t : mem2.h
• Mmr_FlexEntry() : mem2.h
• Mmr_FlexFetch() : mem2.h
• Mmr_FlexRelease() : mem2.h
• Mmr_FlexStart() : mem2.h
• Mmr_FlexStop() : mem2.h
• Mmr_Step_t : 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
• mnextsize : blocksort.c
• mnextswap : blocksort.c
• MOD : adler32.c
• MOD4 : adler32.c
• modifyAigToApplySafetyInvar() : kliveness.c
• MODULUS1 : cuddUtil.c
• MODULUS2 : cuddUtil.c
• most_frequent() : espresso.h , expand.c
• Move : cuddInt.h
• move_to_back() : abcSaucy.c
• Mpm_ComputeCnfSizeAll() : mpmPre.c
• Mpm_ComputeCnfSizeOne() : mpmPre.c
• MPM_CUT_MAX : mpmInt.h
• Mpm_Cut_t : mpmInt.h
• 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_CutForEachLeaf : mpmInt.h
• Mpm_CutForEachLeafId : mpmInt.h
• Mpm_CutForEachLeafLit : mpmInt.h
• 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_Dsd_t : mpmInt.h
• Mpm_FuncCompute() : dauTree.c
• Mpm_LibLut_t : mpm.h
• Mpm_LibLutFree() : mpm.h , mpmInt.h , mpmLib.c
• Mpm_LibLutSetSimple() : mpmInt.h , mpmLib.c , mpm.h
• Mpm_Man_t : mpmInt.h
• 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() : 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_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_ObjForEachCut : mpmInt.h
• Mpm_ObjForEachCutSafe : 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_Par_t : mpm.h
• Mpm_TruthStretch() : mpmTruth.c
• Mpm_Uni_t : mpmInt.h
• MPM_UNIT_AREA : mpmInt.h
• MPM_UNIT_EDGE : mpmInt.h
• MPM_UNIT_REFS : mpmInt.h
• MPM_UNIT_TIME : mpmInt.h
• MPM_VAR_MAX : mpm.h
• Mpm_VarsClear() : mpmInt.h
• Mpm_VarsSwap() : mpmInt.h
• mpop : blocksort.c
• mpush : blocksort.c
• Msat_Clause_t : msatInt.h
• 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() : msatInt.h , msatClause.c
• Msat_ClauseReadMark() : msatClause.c , msatInt.h
• Msat_ClauseReadNum() : msatClause.c , msatInt.h
• Msat_ClauseReadSize() : msatInt.h , msatClause.c
• Msat_ClauseReadTypeA() : msatClause.c , msatInt.h
• Msat_ClauseRemoveWatch() : msatInt.h , msatClause.c
• 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_ClauseVec_t : msat.h
• Msat_ClauseVecAlloc() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecClear() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecFree() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecGrow() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecPop() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecPush() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadArray() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadEntry() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadSize() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecShrink() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecWriteEntry() : msatInt.h , msatClauseVec.c
• Msat_ClauseWriteActivity() : msatInt.h , msatClause.c
• Msat_ClauseWriteDimacs() : msatInt.h , msatClause.c
• MSAT_FALSE : msat.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_IntVec_t : msat.h
• Msat_IntVecAlloc() : msat.h , msatVec.c
• Msat_IntVecAllocArray() : msatVec.c , msat.h
• Msat_IntVecAllocArrayCopy() : msat.h , msatVec.c
• Msat_IntVecClear() : msatVec.c , msat.h
• Msat_IntVecDup() : msatVec.c , msat.h
• Msat_IntVecDupArray() : msat.h , msatVec.c
• Msat_IntVecFill() : msat.h , msatVec.c
• Msat_IntVecFree() : msatVec.c , msat.h
• Msat_IntVecGrow() : msat.h , msatVec.c
• Msat_IntVecPop() : msatVec.c , msat.h
• Msat_IntVecPush() : msat.h , msatVec.c
• Msat_IntVecPushUnique() : msatVec.c , msat.h
• Msat_IntVecPushUniqueOrder() : msat.h , msatVec.c
• Msat_IntVecReadArray() : msatVec.c , msat.h
• Msat_IntVecReadEntry() : msat.h , msatVec.c
• Msat_IntVecReadEntryLast() : msatVec.c , msat.h
• Msat_IntVecReadSize() : msat.h , msatVec.c
• Msat_IntVecReleaseArray() : msatVec.c , msat.h
• Msat_IntVecShrink() : msat.h , msatVec.c
• Msat_IntVecSort() : msatVec.c , msat.h
• Msat_IntVecSortCompare1() : msatVec.c
• Msat_IntVecSortCompare2() : msatVec.c
• Msat_IntVecWriteEntry() : msat.h , msatVec.c
• MSAT_LIT2VAR : msat.h
• Msat_Lit_t : msatInt.h
• MSAT_LIT_UNASSIGNED : msatInt.h
• MSAT_LITNOT : msat.h
• MSAT_LITSIGN : msat.h
• Msat_MmFixed_t : msatInt.h
• Msat_MmFixedEntryFetch() : msatMem.c , msatInt.h
• Msat_MmFixedEntryRecycle() : msatInt.h , msatMem.c
• Msat_MmFixedReadMemUsage() : msatMem.c , msatInt.h
• Msat_MmFixedRestart() : msatInt.h , msatMem.c
• Msat_MmFixedStart() : msatInt.h , msatMem.c
• Msat_MmFixedStop() : msatInt.h , msatMem.c
• Msat_MmFlex_t : 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_MmStep_t : msatInt.h
• Msat_MmStepEntryFetch() : msatMem.c , msatInt.h
• Msat_MmStepEntryRecycle() : msatInt.h , msatMem.c
• Msat_MmStepReadMemUsage() : msatInt.h , msatMem.c
• Msat_MmStepStart() : msatMem.c , msatInt.h
• Msat_MmStepStop() : msatInt.h , msatMem.c
• Msat_Order_t : msatInt.h
• MSAT_ORDER_UNKNOWN : msatInt.h
• Msat_OrderAlloc() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderCheck() : msatOrderH.c , msatOrderJ.c , msatInt.h
• Msat_OrderClean() : msatOrderH.c , msatOrderJ.c , msatInt.h
• Msat_OrderFree() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderRing_t : msatOrderJ.c
• Msat_OrderRingAddLast() : msatOrderJ.c
• Msat_OrderRingForEachEntry : msatOrderJ.c
• Msat_OrderRingRemove() : msatOrderJ.c
• Msat_OrderSetBounds() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_OrderUpdate() : msatOrderH.c , msatOrderJ.c , msatInt.h
• Msat_OrderVar_t : msatOrderJ.c
• Msat_OrderVarAssigned() : msatOrderJ.c , msatInt.h , msatOrderH.c
• Msat_OrderVarIsAssigned : msatOrderJ.c
• Msat_OrderVarIsInBoundary : msatOrderJ.c
• Msat_OrderVarIsUsedInCone : msatOrderJ.c
• Msat_OrderVarSelect() : msatInt.h , msatOrderJ.c , msatOrderH.c
• Msat_OrderVarUnassigned() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_Queue_t : msatInt.h
• Msat_QueueAlloc() : msatInt.h , msatQueue.c
• Msat_QueueClear() : msatInt.h , msatQueue.c
• Msat_QueueExtract() : msatQueue.c , msatInt.h
• Msat_QueueFree() : msatQueue.c , msatInt.h
• Msat_QueueInsert() : msatQueue.c , msatInt.h
• Msat_QueueReadSize() : msatQueue.c , msatInt.h
• Msat_ReadClause() : msatRead.c
• Msat_ReadDimacs() : msatRead.c
• Msat_ReadInt() : msatRead.c
• Msat_ReadNotWhitespace() : msatRead.c
• Msat_ReadWhitespace() : msatRead.c
• Msat_SearchParams_t : msatInt.h
• Msat_Solver_t : msat.h
• Msat_SolverAddClause() : msat.h , msatSolverCore.c
• Msat_SolverAddVar() : msat.h , msatSolverCore.c
• Msat_SolverAlloc() : msat.h , msatSolverApi.c
• Msat_SolverAnalyze() : msatSolverSearch.c
• Msat_SolverAssume() : msatSolverSearch.c , msatInt.h
• Msat_SolverCancel() : msatSolverSearch.c
• Msat_SolverCancelUntil() : msatInt.h , msatSolverSearch.c
• Msat_SolverClaBumpActivity() : msatInt.h , msatActivity.c
• 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() : msatSolverCore.c , msat.h
• Msat_SolverProgressEstimate() : msatInt.h , msatSolverCore.c
• Msat_SolverPropagate() : msatSolverSearch.c , msatInt.h
• Msat_SolverReadAdjacents() : msat.h , msatSolverApi.c
• Msat_SolverReadAssignsArray() : msatSolverApi.c , msat.h
• Msat_SolverReadBackTracks() : msatSolverApi.c , msat.h
• Msat_SolverReadClause() : msatSolverApi.c , msatInt.h
• Msat_SolverReadClauseNum() : msatSolverApi.c , msat.h
• Msat_SolverReadConeVars() : msatSolverApi.c , msat.h
• Msat_SolverReadDecisionLevel() : msatInt.h , msatSolverApi.c
• Msat_SolverReadDecisionLevelArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadFactors() : msatSolverApi.c , msat.h
• Msat_SolverReadInspects() : msatSolverApi.c , msat.h
• Msat_SolverReadLearned() : msatSolverApi.c , msatInt.h
• Msat_SolverReadMem() : msatSolverApi.c , msatInt.h
• Msat_SolverReadModelArray() : msat.h , msatSolverApi.c
• Msat_SolverReadReasonArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadSeenArray() : msatInt.h , msatSolverApi.c
• Msat_SolverReadSolutions() : msat.h
• Msat_SolverReadSolutionsArray() : msat.h
• Msat_SolverReadTruth() : msat.h
• Msat_SolverReadVarAllocNum() : msatSolverApi.c , msat.h
• 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_SolverRecord() : msatSolverSearch.c
• Msat_SolverReduceDB() : msatSolverSearch.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_SolverSetupTruthTables() : msatSolverApi.c
• 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_SolverSort() : msatSort.c
• Msat_SolverSortCompare() : msatSort.c
• Msat_SolverSortDB() : msatSort.c , msatInt.h
• Msat_SolverSortSelection() : msatSort.c
• Msat_SolverStats_t : msatInt.h
• Msat_SolverUndoOne() : msatSolverSearch.c
• Msat_SolverVarBumpActivity() : msatInt.h , msatActivity.c
• Msat_SolverVarDecayActivity() : msatInt.h , msatActivity.c
• Msat_SolverVarRescaleActivity() : msatActivity.c , msatInt.h
• Msat_SolverWriteDimacs() : msat.h , msatSolverIo.c
• Msat_TimeStamp() : msatSolverIo.c
• MSAT_TRUE : msat.h
• Msat_Type_t : msat.h
• MSAT_UNKNOWN : msat.h
• MSAT_VAR2LIT : msat.h
• Msat_Var_t : msatInt.h
• MSAT_VAR_UNASSIGNED : msatInt.h
• Msat_VarHeap_t : msat.h
• 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
• MSG : cudd2.h
• mswap : blocksort.c
• MTFA_SIZE : bzlib_private.h
• MTFL_SIZE : bzlib_private.h
• Mtr_AllocNode() : mtr.h , mtrBasic.c
• Mtr_CopyTree() : mtrBasic.c , mtr.h
• Mtr_CreateFirstChild() : mtrBasic.c , mtr.h
• Mtr_CreateLastChild() : mtrBasic.c , mtr.h
• Mtr_DeallocNode() : mtr.h , mtrBasic.c
• MTR_DEFAULT : mtr.h
• Mtr_DissolveGroup() : mtrGroup.c , mtr.h
• Mtr_FindGroup() : mtrGroup.c , mtr.h
• MTR_FIXED : mtr.h
• Mtr_FreeTree() : mtr.h , mtrBasic.c
• Mtr_InitGroupTree() : mtrGroup.c , mtr.h
• Mtr_InitTree() : mtr.h , mtrBasic.c
• MTR_INLINE : mtr.h
• Mtr_MakeFirstChild() : mtr.h , mtrBasic.c
• Mtr_MakeGroup() : mtrGroup.c , mtr.h
• Mtr_MakeLastChild() : mtrBasic.c , mtr.h
• Mtr_MakeNextSibling() : mtr.h , mtrBasic.c
• MTR_MAXHIGH : mtr.h
• MTR_NEWNODE : mtr.h
• Mtr_PrintGroups() : mtrGroup.c , mtr.h
• Mtr_PrintTree() : mtr.h , mtrBasic.c
• Mtr_ReadGroups() : mtr.h , mtrGroup.c
• MTR_RESET : mtr.h
• MTR_SET : mtr.h
• MTR_SOFT : mtr.h
• Mtr_SwapGroups() : mtrGroup.c , mtr.h
• MTR_TERMINAL : mtr.h
• MTR_TEST : mtr.h
• MTR_UNUSED : mtr.h , mtrBasic.c , mtrGroup.c
• MtrHalfWord : mtr.h
• MtrNode : mtr.h
• mtrShiftHL() : mtrGroup.c
• MULTIPLE_LTL_FORMULA : liveness.c
• multiply_index() : abcSaucy.c
• mutex : starter.c
• Mux_Man_t : giaMuxes.c
• Mux_ManAlloc() : giaMuxes.c
• Mux_ManFree() : giaMuxes.c
• Mv_Man_t : abcMv.c
• MV_OOM : cuddSymmetry.c
• mv_reduce() : espresso.h , sparse.c
• MV_REDUCE_TIME : espresso.h
• Mvc_Cover_t : mvc.h
• Mvc_CoverAddCubeHead : mvc.h
• Mvc_CoverAddCubeHead_() : mvc.h , mvcList.c
• Mvc_CoverAddCubeTail : mvc.h
• Mvc_CoverAddCubeTail_() : mvc.h , mvcList.c
• Mvc_CoverAddDupCubeHead() : mvcList.c , mvc.h
• Mvc_CoverAddDupCubeTail() : mvcList.c , mvc.h
• Mvc_CoverAddLiteralsOfCube() : mvc.h , mvcList.c
• Mvc_CoverAlgebraicEqual() : mvc.h , mvcOpAlg.c
• Mvc_CoverAlgebraicMultiply() : mvcOpAlg.c , mvc.h
• Mvc_CoverAlgebraicSubtract() : mvcOpAlg.c , mvc.h
• Mvc_CoverAlloc() : mvc.h , mvcCover.c
• Mvc_CoverAllocateArrayCubes() : mvcCover.c , mvc.h
• Mvc_CoverAllocateArrayLits() : mvc.h , mvcCover.c
• Mvc_CoverAllocateMask() : mvc.h , mvcCover.c
• 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() : mvcUtils.c , mvc.h
• Mvc_CoverClone() : mvcCover.c , mvc.h
• Mvc_CoverCofactor() : mvcUtils.c , mvc.h
• 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_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() : mvc.h , mvcCover.c
• Mvc_CoverDeallocateMask() : mvc.h , mvcCover.c
• Mvc_CoverDeleteCube : mvc.h
• Mvc_CoverDeleteCube_() : mvcList.c , mvc.h
• 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() : 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() : mvcLits.c , mvc.h
• Mvc_CoverFlipVar() : mvcUtils.c , mvc.h
• Mvc_CoverForEachCube : mvc.h
• Mvc_CoverForEachCubeSafe : mvc.h
• Mvc_CoverForEachCubeStart : mvc.h
• Mvc_CoverForEachCubeStartSafe : mvc.h
• Mvc_CoverForEachCubeWithIndex : mvc.h
• Mvc_CoverFree() : mvc.h , mvcCover.c
• Mvc_CoverGetCubeSize() : mvcUtils.c , mvc.h
• Mvc_CoverIntersectCubes() : mvc.h
• Mvc_CoverInverse() : mvc.h , mvcUtils.c
• Mvc_CoverIsBinaryBuffer() : mvcApi.c , mvc.h
• Mvc_CoverIsCubeFree() : mvc.h , mvcUtils.c
• Mvc_CoverIsEmpty() : mvc.h , mvcApi.c
• Mvc_CoverIsIntersecting() : mvc.h
• Mvc_CoverIsOneLiteral() : mvc.h , mvcLits.c
• Mvc_CoverIsTautology() : mvcApi.c , mvc.h
• Mvc_CoverList2Array() : mvcList.c , mvc.h
• Mvc_CoverMakeCubeFree() : mvcUtils.c , mvc.h
• Mvc_CoverMakeEmpty() : mvcApi.c , mvc.h
• Mvc_CoverMakeTautology() : mvcApi.c , mvc.h
• Mvc_CoverMinimizeByReshape() : mvc.h
• Mvc_CoverPrint() : mvcPrint.c , mvc.h
• Mvc_CoverPrintBinary() : mvcPrint.c
• Mvc_CoverPrintMv() : mvc.h
• Mvc_CoverReadBitNum() : mvc.h , mvcApi.c
• Mvc_CoverReadCubeHead() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeList() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeNum() : mvcApi.c , mvc.h
• Mvc_CoverReadCubeTail() : mvcApi.c , mvc.h
• Mvc_CoverReadWordNum() : mvc.h , mvcApi.c
• Mvc_CoverRemap() : mvc.h , mvcUtils.c
• Mvc_CoverRemoveContained() : mvcContain.c
• Mvc_CoverRemoveCubes() : mvc.h
• Mvc_CoverRemoveDontCareLits() : mvcUtils.c , mvc.h
• Mvc_CoverRemoveDuplicates() : mvcContain.c
• Mvc_CoverSetCubeHead() : mvc.h , mvcApi.c
• Mvc_CoverSetCubeList() : mvc.h , mvcApi.c
• Mvc_CoverSetCubeNum() : mvc.h , mvcApi.c
• Mvc_CoverSetCubeSizes() : mvcUtils.c , mvc.h
• Mvc_CoverSetCubeTail() : mvcApi.c , mvc.h
• 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() : mvcUtils.c , mvc.h
• Mvc_CoverSupportVarBelongs() : mvcUtils.c , mvc.h
• Mvc_CoverTautology() : mvc.h
• Mvc_CoverTranspose() : mvc.h , mvcUtils.c
• Mvc_CoverUnivQuantify() : mvc.h , mvcUtils.c
• Mvc_CoverVerifyDivision() : mvcDivide.c
• Mvc_CoverWorstLiteral() : mvc.h , mvcLits.c
• Mvc_Cube1BitAnd : mvc.h
• Mvc_Cube1BitClean : mvc.h
• Mvc_Cube1BitCopy : mvc.h
• Mvc_Cube1BitDisjoint : mvc.h
• Mvc_Cube1BitEmpty : mvc.h
• Mvc_Cube1BitEqual : mvc.h
• Mvc_Cube1BitEqualOutsideMask : mvc.h
• Mvc_Cube1BitEqualUnderMask : mvc.h
• Mvc_Cube1BitExor : mvc.h
• Mvc_Cube1BitFill : mvc.h
• Mvc_Cube1BitIntersectUnderMask : mvc.h
• Mvc_Cube1BitLess : mvc.h
• Mvc_Cube1BitMore : mvc.h
• Mvc_Cube1BitNot : mvc.h
• Mvc_Cube1BitNotImpl : mvc.h
• Mvc_Cube1BitNotImplUnderMask : mvc.h
• Mvc_Cube1BitOr : mvc.h
• Mvc_Cube1BitSharp : mvc.h
• Mvc_Cube1Words : mvc.h
• Mvc_Cube2BitAnd : mvc.h
• Mvc_Cube2BitClean : mvc.h
• Mvc_Cube2BitCopy : mvc.h
• Mvc_Cube2BitDisjoint : mvc.h
• Mvc_Cube2BitEmpty : mvc.h
• Mvc_Cube2BitEqual : mvc.h
• Mvc_Cube2BitEqualOutsideMask : mvc.h
• Mvc_Cube2BitEqualUnderMask : mvc.h
• Mvc_Cube2BitExor : mvc.h
• Mvc_Cube2BitFill : mvc.h
• Mvc_Cube2BitIntersectUnderMask : mvc.h
• Mvc_Cube2BitLess : mvc.h
• Mvc_Cube2BitMore : mvc.h
• Mvc_Cube2BitNot : mvc.h
• Mvc_Cube2BitNotImpl : mvc.h
• Mvc_Cube2BitNotImplUnderMask : mvc.h
• Mvc_Cube2BitOr : mvc.h
• Mvc_Cube2BitSharp : mvc.h
• Mvc_Cube2Words : mvc.h
• Mvc_Cube_t : mvc.h
• Mvc_CubeAlloc() : mvcCube.c , mvc.h
• Mvc_CubeBitAnd : mvc.h
• Mvc_CubeBitClean : mvc.h
• Mvc_CubeBitCleanUnused : mvc.h
• Mvc_CubeBitCopy : mvc.h
• Mvc_CubeBitDisjoint : mvc.h
• Mvc_CubeBitEmpty : mvc.h
• Mvc_CubeBitEqual : mvc.h
• Mvc_CubeBitEqualOutsideMask : mvc.h
• Mvc_CubeBitEqualUnderMask : mvc.h
• Mvc_CubeBitExor : mvc.h
• Mvc_CubeBitFill : mvc.h
• Mvc_CubeBitInsert : mvc.h
• Mvc_CubeBitIntersectUnderMask : mvc.h
• Mvc_CubeBitLess : mvc.h
• Mvc_CubeBitMore : mvc.h
• Mvc_CubeBitNot : mvc.h
• Mvc_CubeBitNotImpl : mvc.h
• Mvc_CubeBitNotImplUnderMask : mvc.h
• Mvc_CubeBitOr : mvc.h
• Mvc_CubeBitRemove : mvc.h
• Mvc_CubeBitRemoveDcs() : mvcCube.c , mvc.h
• Mvc_CubeBitSharp : mvc.h
• Mvc_CubeBitValue : mvc.h
• Mvc_CubeCompareInt() : mvc.h , mvcCompare.c
• Mvc_CubeCompareIntOutsideAndUnderMask() : mvcCompare.c , mvc.h
• Mvc_CubeCompareIntOutsideMask() : mvcCompare.c , mvc.h
• Mvc_CubeCompareIntUnderMask() : mvcCompare.c , mvc.h
• Mvc_CubeCompareSizeAndInt() : mvc.h , mvcCompare.c
• Mvc_CubeDup() : mvc.h , mvcCube.c
• Mvc_CubeForEachBit : mvc.h
• Mvc_CubeForEachVarValue : mvc.h
• Mvc_CubeFree() : mvcCube.c , mvc.h
• Mvc_CubeNBitAnd : mvc.h
• Mvc_CubeNBitClean : mvc.h
• Mvc_CubeNBitCopy : mvc.h
• Mvc_CubeNBitDisjoint : mvc.h
• Mvc_CubeNBitEmpty : mvc.h
• Mvc_CubeNBitEqual : mvc.h
• Mvc_CubeNBitEqualOutsideMask : mvc.h
• Mvc_CubeNBitEqualUnderMask : mvc.h
• Mvc_CubeNBitExor : mvc.h
• Mvc_CubeNBitFill : mvc.h
• Mvc_CubeNBitIntersectUnderMask : mvc.h
• Mvc_CubeNBitLess : mvc.h
• Mvc_CubeNBitMore : mvc.h
• Mvc_CubeNBitNot : mvc.h
• Mvc_CubeNBitNotImpl : mvc.h
• Mvc_CubeNBitNotImplUnderMask : mvc.h
• Mvc_CubeNBitOr : mvc.h
• Mvc_CubeNBitSharp : mvc.h
• Mvc_CubeNWords : mvc.h
• Mvc_CubePrint() : mvcPrint.c , mvc.h
• Mvc_CubePrintBinary() : mvcPrint.c
• Mvc_CubePrintMv() : mvc.h
• Mvc_CubeReadLast : mvc.h
• Mvc_CubeReadNext : mvc.h
• Mvc_CubeReadNextP : mvc.h
• Mvc_CubeReadSize : mvc.h
• Mvc_CubeSetLast : mvc.h
• Mvc_CubeSetNext : mvc.h
• Mvc_CubeSetSize : mvc.h
• Mvc_CubeVarValue : mvc.h
• Mvc_CubeWhichBit : mvc.h
• Mvc_CubeWhichWord : mvc.h
• Mvc_CubeWord_t : mvc.h
• Mvc_Data_t : mvc.h
• Mvc_List_t : mvc.h
• Mvc_ListAddCubeHead : mvc.h
• Mvc_ListAddCubeHead_() : mvcList.c , mvc.h
• Mvc_ListAddCubeTail : mvc.h
• Mvc_ListAddCubeTail_() : mvcList.c , mvc.h
• Mvc_ListDeleteCube : mvc.h
• Mvc_ListDeleteCube_() : mvcList.c , mvc.h
• Mvc_ListForEachCube : mvc.h
• Mvc_ListForEachCubeSafe : mvc.h
• Mvc_ListGetTailFromHead() : mvcList.c , mvc.h
• Mvc_ListReadCubeHead() : mvcApi.c , mvc.h
• Mvc_ListReadCubeNum() : mvc.h , mvcApi.c
• Mvc_ListReadCubeTail() : mvcApi.c , mvc.h
• Mvc_Manager_t : 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() : mvc.h , mvcMan.c
• Mvc_UtilsCheckUnusedZeros() : mvcUtils.c , mvc.h
• Mvr_CoverCountLitsWithValue() : mvc.h
• mvswap : blocksort.c
• myfeof() : bzlib.c
• MYMAX : huffman.c