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

- m -

• MAGIC : sharp.c , unate.c
• main() : mainInt.h , testcudd.c , main.c
• make_disjoint() : sharp.c , espresso.h
• make_random() : cuddGenetic.c
• make_sparse() : espresso.h , sparse.c
• makeup_labels() : cvrout.c , espresso.h
• malloc() : util_old.h , stdlib_hack.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_ComputeDcs() : mapperInt.h
• Map_ComputeIsop_rec() : mapperInt.h
• 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() : mapperInt.h , mapperCutUtils.c
• 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() : 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_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_LibraryComputeTruth() : mapperSuper.c
• Map_LibraryComputeTruth_rec() : mapperSuper.c
• Map_LibraryDeriveGateInfo() : 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_LibraryReadFileTree() : 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_ManFree() : mapper.h , mapperCreate.c
• Map_ManPrintStatsToFile() : mapper.h , mapperCreate.c
• Map_ManPrintTimeStats() : mapper.h , mapperCreate.c
• Map_ManReadAreaFinal() : 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_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_ManSetPass() : mapper.h
• Map_ManSetSwitching() : mapper.h , mapperCreate.c
• Map_ManSetTimeSweep() : mapper.h , mapperCreate.c
• Map_ManSetTimeToMap() : mapper.h , mapperCreate.c
• Map_ManSetTimeToNet() : mapper.h , mapperCreate.c
• Map_ManSetTimeTotal() : mapper.h , mapperCreate.c
• Map_ManSetVerbose() : mapper.h , mapperCreate.c
• Map_Mapping() : mapper.h , mapperCore.c
• Map_MappingArea_rec() : mapperUtils.c
• Map_MappingCombinePhases() : mapperInt.h
• Map_MappingCompareOutputDelay() : mapperUtils.c
• Map_MappingComputeDelayWithFanouts() : mapperInt.h , mapperUtils.c
• Map_MappingCountAllCuts() : mapperCut.c , mapperInt.h
• 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_MappingDfs() : mapperInt.h , mapperUtils.c
• Map_MappingDfs_rec() : mapperUtils.c
• Map_MappingDfsCuts_rec() : mapperUtils.c
• Map_MappingDfsMarked1_rec() : mapperInt.h , mapperUtils.c
• Map_MappingDfsMarked2_rec() : mapperInt.h , mapperUtils.c
• Map_MappingDfsMarked3_rec() : mapperUtils.c
• Map_MappingDfsMarked4_rec() : mapperUtils.c
• Map_MappingDfsNodes() : mapperInt.h , 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_MappingGetChoiceLevels() : mapperUtils.c
• Map_MappingGetChoiceVolumes() : 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_MappingShow() : mapperInt.h
• 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() : mapperInt.h , mapperMatch.c
• Map_MatchCompare() : mapperInt.h , 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_NodeComparePhase() : mapper.h , mapperCreate.c
• Map_NodeCreate() : mapper.h , mapperCreate.c
• Map_NodeDecRefPhaseAct() : mapperRefs.c
• Map_NodeExor() : mapper.h , mapperCreate.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_NodeIsConst() : mapper.h , mapperCreate.c
• Map_NodeIsSimComplement : mapperInt.h
• Map_NodeIsVar() : mapper.h , mapperCreate.c
• Map_NodeMux() : mapper.h , mapperCreate.c
• Map_NodeOr() : 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() : mapperInt.h , mapperRefs.c
• Map_NodeReadRefPhaseEst() : mapperInt.h , 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_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_SuperLibFree() : 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_TABLE_HASH : mapperTable.c
• Map_TableCreate() : mapperCreate.c
• Map_TableLookup() : mapperCreate.c
• Map_TableResize() : mapperCreate.c
• Map_Time_t : mapper.h
• Map_TimeComputeArrivalMax() : mapperInt.h , mapperTime.c
• Map_TimeComputeRequired() : mapperInt.h , mapperTime.c
• Map_TimeComputeRequiredGlobal() : mapperInt.h , mapperTime.c
• Map_TimeCutComputeArrival() : mapperInt.h , mapperTime.c
• Map_TimeCutComputeArrival_rec() : mapperInt.h , mapperTime.c
• Map_TimeCutFanoutDelay() : mapperInt.h
• Map_TimeMatchWithInverter() : mapperInt.h , mapperTime.c
• Map_TimeNodeFanoutDelay() : mapperInt.h
• 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
• mark_irredundant() : espresso.h , irred.c
• MarkCacheCleanUp() : cuddGenCof.c
• MarkCacheCompare() : cuddGenCof.c
• MarkCacheHash() : cuddGenCof.c
• massive_count() : cofactor.c , espresso.h
• max : stdlib_hack.h , cuddSubsetHB.c
• MAX : util_old.h
• MAX_LIBS : libSupport.c
• MAX_PRIMES : fxuPair.c
• MAX_SIZE_LOOKAHEAD : fxuSelect.c
• MAX_STR : mainInt.h
• 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
• MB_CUR_MAX : stdlib_hack.h
• mblen() : stdlib_hack.h
• mbstowcs() : stdlib_hack.h
• mbtowc() : stdlib_hack.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
• memcpy() : util_old.h
• memmove() : util_old.h
• memOut : cuddSubsetHB.c , cuddSubsetSP.c
• memset() : util_old.h
• min : stdlib_hack.h
• MIN : util_old.h
• MINCOV : espresso.h
• mincov() : espresso.h , expand.c
• MINCOV1 : espresso.h
• MINCOV_TIME : espresso.h
• mini_sort() : cvrm.c , espresso.h
• minimize() : opo.c
• minimize_exact() : espresso.h , exact.c
• minimize_exact_literals() : espresso.h , exact.c
• minimize_pair() : espresso.h , pair.c
• mintermPages : cuddSubsetHB.c
• minterms() : espresso.h , map.c
• mintermsFromUniverse() : cuddSplit.c
• Mio_CollectRoots() : mio.h , mioUtils.c
• Mio_CommandPrintLibrary() : mio.c
• Mio_CommandReadLibrary() : mio.c
• Mio_DelayCompare() : mioUtils.c
• Mio_DeriveGateDelays() : mio.h , mioUtils.c
• Mio_DeriveTruthTable() : mio.h , mioUtils.c
• Mio_DeriveTruthTable2() : mioUtils.c
• Mio_DeriveTruthTable_rec() : mioUtils.c
• Mio_End() : mainInit.c , mio.c
• MIO_FULL : mioInt.h
• Mio_Gate_t : mio.h
• Mio_GateCollectNames() : mioFunc.c
• Mio_GateCreatePseudo() : mio.h , mioUtils.c
• Mio_GateDelete() : mio.h , mioUtils.c
• Mio_GateForEachPin : mio.h
• Mio_GateForEachPinSafe : mio.h
• Mio_GateParseFormula() : mioFunc.c
• Mio_GateReadArea() : mio.h , mioApi.c
• Mio_GateReadDelayMax() : mio.h , mioApi.c
• Mio_GateReadForm() : mio.h , mioApi.c
• Mio_GateReadFunc() : mio.h , mioApi.c
• Mio_GateReadInputs() : 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_GateReadPins() : mio.h , mioApi.c
• Mio_GateReadSop() : abcIvy.c , mio.h , mioApi.c
• Mio_Init() : mainInit.c , mio.c
• Mio_Library_t : mio.h
• Mio_LibraryDelete() : mio.h , mioUtils.c
• Mio_LibraryDetectSpecialGates() : mioRead.c
• Mio_LibraryForEachGate : mio.h
• Mio_LibraryForEachGateSafe : mio.h
• Mio_LibraryParseFormulas() : mio.h , mioFunc.c
• Mio_LibraryRead() : mio.h , mioRead.c
• Mio_LibraryReadAnd2() : mio.h , mioApi.c
• Mio_LibraryReadAreaBuf() : mio.h , mioApi.c
• Mio_LibraryReadAreaInv() : mio.h , mioApi.c
• Mio_LibraryReadAreaNand2() : mio.h , mioApi.c
• Mio_LibraryReadBuf() : mio.h , mioApi.c
• Mio_LibraryReadConst0() : mio.h , mioApi.c
• Mio_LibraryReadConst1() : mio.h , mioApi.c
• Mio_LibraryReadDd() : 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_LibraryReadGateByName() : mio.h , mioApi.c
• Mio_LibraryReadGateNameMax() : mio.h , mioApi.c
• Mio_LibraryReadGateNum() : mio.h , mioApi.c
• 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_MASK : mioInt.h
• 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() : mio.h , mioApi.c
• Mio_PinReadDelayBlockRise() : mio.h , mioApi.c
• Mio_PinReadDelayFanoutFall() : mio.h , mioApi.c
• Mio_PinReadDelayFanoutRise() : mio.h , mioApi.c
• Mio_PinReadInputLoad() : mio.h , mioApi.c
• Mio_PinReadMaxLoad() : mio.h , mioApi.c
• Mio_PinReadName() : mio.h , mioApi.c
• Mio_PinReadNext() : mio.h , mioApi.c
• Mio_PinReadPhase() : mio.h , mioApi.c
• MIO_STRING_CONST0 : mioInt.h
• MIO_STRING_CONST1 : mioInt.h
• MIO_STRING_GATE : mioInt.h
• MIO_STRING_INV : mioInt.h
• MIO_STRING_NONINV : mioInt.h
• MIO_STRING_PIN : mioInt.h
• MIO_STRING_UNKNOWN : mioInt.h
• MIO_SYMB_AFTNOT : mioFunc.c
• MIO_SYMB_AND : mioFunc.c
• MIO_SYMB_CLOSE : mioFunc.c
• MIO_SYMB_NOT : mioFunc.c
• MIO_SYMB_OPEN : mioFunc.c
• MIO_SYMB_OR : mioFunc.c
• Mio_WriteGate() : mioUtils.c
• Mio_WriteLibrary() : mio.h , mioUtils.c
• Mio_WritePin() : mioUtils.c
• MMoutOfMemory : util_hack.h
• MODULUS1 : cuddUtil.c
• MODULUS2 : cuddUtil.c
• most_frequent() : espresso.h , expand.c
• Msat_Clause_t : msatInt.h
• Msat_ClauseCalcReason() : msatInt.h , msatClause.c
• Msat_ClauseComputeTruth() : msatInt.h
• Msat_ClauseCreate() : msatClause.c , msatInt.h
• Msat_ClauseCreateFake() : msatInt.h
• Msat_ClauseCreateFakeLit() : msatInt.h
• Msat_ClauseFree() : msatClause.c , msatInt.h
• Msat_ClauseIsLocked() : msatClause.c , msatInt.h
• Msat_ClausePrint() : msatClause.c , msatInt.h
• Msat_ClausePrintSymbols() : msatClause.c , msatInt.h
• Msat_ClausePropagate() : msatClause.c , msatInt.h
• Msat_ClauseReadActivity() : msatClause.c , msatInt.h
• Msat_ClauseReadLearned() : msatClause.c , msatInt.h
• Msat_ClauseReadLits() : msatClause.c , msatInt.h
• Msat_ClauseReadMark() : msatClause.c , msatInt.h
• Msat_ClauseReadNum() : msatClause.c , msatInt.h
• Msat_ClauseReadSize() : msatClause.c , msatInt.h
• Msat_ClauseReadTypeA() : msatClause.c , msatInt.h
• Msat_ClauseRemoveWatch() : msatClause.c , msatInt.h
• Msat_ClauseSetMark() : msatClause.c , msatInt.h
• Msat_ClauseSetNum() : msatClause.c , msatInt.h
• Msat_ClauseSetTypeA() : msatClause.c , msatInt.h
• Msat_ClauseSimplify() : msatClause.c , msatInt.h
• Msat_ClauseVec_t : msat.h
• Msat_ClauseVecAlloc() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecClear() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecFree() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecGrow() : msatInt.h , msatClauseVec.c
• Msat_ClauseVecPop() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecPush() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadArray() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecReadEntry() : msatClauseVec.c , fraigSat.c , msatInt.h
• Msat_ClauseVecReadSize() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecShrink() : msatClauseVec.c , msatInt.h
• Msat_ClauseVecWriteEntry() : msatClauseVec.c , msatInt.h
• Msat_ClauseWriteActivity() : msatClause.c , msatInt.h
• Msat_ClauseWriteDimacs() : msatClause.c , msatInt.h
• MSAT_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() : msat.h , msatVec.c
• Msat_IntVecDup() : msat.h , msatVec.c
• Msat_IntVecDupArray() : msatVec.c , msat.h
• 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() : msat.h , msatVec.c
• 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() : msat.h , msatVec.c
• Msat_IntVecSortCompare1() : msatVec.c
• Msat_IntVecSortCompare2() : msatVec.c
• Msat_IntVecWriteEntry() : msatVec.c , msat.h
• 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() : msatInt.h , msatMem.c
• Msat_MmFixedRestart() : msatInt.h , msatMem.c
• Msat_MmFixedStart() : msatMem.c , msatInt.h
• Msat_MmFixedStop() : msatInt.h , msatMem.c
• Msat_MmFlex_t : msatInt.h
• Msat_MmFlexEntryFetch() : msatInt.h , msatMem.c
• Msat_MmFlexReadMemUsage() : msatInt.h , msatMem.c
• Msat_MmFlexStart() : msatInt.h , msatMem.c
• Msat_MmFlexStop() : msatInt.h , msatMem.c
• Msat_MmStep_t : msatInt.h
• Msat_MmStepEntryFetch() : msatInt.h , msatMem.c
• Msat_MmStepEntryRecycle() : msatMem.c , msatInt.h
• 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 , msatOrderH.c , msatOrderJ.c
• Msat_OrderCheck() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_OrderClean() : msatOrderH.c , msatInt.h , msatOrderJ.c
• Msat_OrderFree() : msatOrderJ.c , msatInt.h , msatOrderH.c
• Msat_OrderRing_t : msatOrderJ.c
• Msat_OrderRingAddLast() : msatOrderJ.c
• Msat_OrderRingForEachEntry : msatOrderJ.c
• Msat_OrderRingRemove() : msatOrderJ.c
• Msat_OrderSetBounds() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_OrderUpdate() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_OrderVar_t : msatOrderJ.c
• Msat_OrderVarAssigned() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_OrderVarIsAssigned : msatOrderJ.c
• Msat_OrderVarIsInBoundary : msatOrderJ.c
• Msat_OrderVarIsUsedInCone : msatOrderJ.c
• Msat_OrderVarSelect() : msatOrderJ.c , msatInt.h , msatOrderH.c
• Msat_OrderVarUnassigned() : msatInt.h , msatOrderH.c , msatOrderJ.c
• Msat_Queue_t : msatInt.h
• Msat_QueueAlloc() : msatInt.h , msatQueue.c
• Msat_QueueClear() : msatQueue.c , msatInt.h
• Msat_QueueExtract() : msatInt.h , msatQueue.c
• Msat_QueueFree() : msatQueue.c , msatInt.h
• Msat_QueueInsert() : msatInt.h , msatQueue.c
• 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() : msatActivity.c , msatInt.h
• Msat_SolverClaDecayActivity() : msatActivity.c , msatInt.h
• Msat_SolverClaRescaleActivity() : msatActivity.c , msatInt.h
• Msat_SolverClausesDecrement() : msatInt.h , msatSolverApi.c
• Msat_SolverClausesDecrementL() : msatInt.h , msatSolverApi.c
• Msat_SolverClausesIncrement() : msatInt.h , msatSolverApi.c
• Msat_SolverClausesIncrementL() : msatSolverApi.c , msatInt.h
• Msat_SolverClean() : msat.h , msatSolverApi.c
• Msat_SolverEnqueue() : msatSolverSearch.c , msatInt.h
• Msat_SolverFree() : msat.h , msatSolverApi.c
• Msat_SolverIncrementSeenId() : msatSolverApi.c , msatInt.h
• Msat_SolverMarkClausesStart() : msat.h , msatSolverApi.c
• Msat_SolverMarkLastClauseTypeA() : msatSolverApi.c , msat.h
• Msat_SolverParseDimacs() : msat.h , msatRead.c
• Msat_SolverPrepare() : msatSolverApi.c , msat.h
• Msat_SolverPrintAssignment() : msat.h , msatSolverIo.c
• 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() : msatSolverApi.c , msat.h
• Msat_SolverReadAssignsArray() : msat.h , msatSolverApi.c
• Msat_SolverReadBackTracks() : msatSolverApi.c , msat.h
• Msat_SolverReadClause() : msatInt.h , msatSolverApi.c
• Msat_SolverReadClauseNum() : msatSolverApi.c , msat.h
• Msat_SolverReadConeVars() : msatSolverApi.c , msat.h
• Msat_SolverReadDecisionLevel() : msatSolverApi.c , msatInt.h
• Msat_SolverReadDecisionLevelArray() : msatSolverApi.c , msatInt.h
• Msat_SolverReadFactors() : msatSolverApi.c , msat.h
• Msat_SolverReadInspects() : msat.h , msatSolverApi.c
• Msat_SolverReadLearned() : msatSolverApi.c , msatInt.h
• Msat_SolverReadMem() : msatInt.h , msatSolverApi.c
• Msat_SolverReadModelArray() : msatSolverApi.c , msat.h
• 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() : msat.h , msatSolverApi.c
• Msat_SolverReadVarNum() : msat.h , msatSolverApi.c
• Msat_SolverReadVarsUsed() : msat.h , msatSolverApi.c
• Msat_SolverReadVarValue() : msatInt.h , msatSolverApi.c
• Msat_SolverReadWatchedArray() : msatInt.h , msatSolverApi.c
• Msat_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() : msatInt.h , msatSort.c
• Msat_SolverSortSelection() : msatSort.c
• Msat_SolverStats_t : msatInt.h
• Msat_SolverUndoOne() : msatSolverSearch.c
• Msat_SolverVarBumpActivity() : msatActivity.c , msatInt.h
• Msat_SolverVarDecayActivity() : msatInt.h , msatActivity.c
• Msat_SolverVarRescaleActivity() : msatActivity.c , msatInt.h
• Msat_SolverWriteDimacs() : msatSolverIo.c , msat.h
• 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
• Mtr_AllocNode() : mtrBasic.c
• Mtr_CopyTree() : mtrBasic.c
• Mtr_CreateFirstChild() : mtrBasic.c
• Mtr_CreateLastChild() : mtrBasic.c
• Mtr_DeallocNode() : mtrBasic.c
• MTR_DEFAULT : mtr.h
• Mtr_DissolveGroup() : mtrGroup.c
• Mtr_FindGroup() : mtrGroup.c
• MTR_FIXED : mtr.h
• Mtr_FreeTree() : mtrBasic.c
• Mtr_InitGroupTree() : mtrGroup.c
• Mtr_InitTree() : mtrBasic.c
• MTR_INLINE : mtr.h
• Mtr_MakeFirstChild() : mtrBasic.c
• Mtr_MakeGroup() : mtrGroup.c
• Mtr_MakeLastChild() : mtrBasic.c
• Mtr_MakeNextSibling() : mtrBasic.c
• MTR_MAXHIGH : mtr.h
• MTR_NEWNODE : mtr.h
• Mtr_PrintGroups() : mtrGroup.c
• Mtr_PrintTree() : mtrBasic.c
• Mtr_ReadGroups() : mtrGroup.c
• MTR_RESET : mtr.h
• MTR_SET : mtr.h
• MTR_SOFT : mtr.h
• Mtr_SwapGroups() : mtrGroup.c
• MTR_TERMINAL : mtr.h
• MTR_TEST : mtr.h
• MTR_UNUSED : mtrGroup.c , mtr.h , mtrBasic.c
• MtrHalfWord : mtr.h
• mtrShiftHL() : mtrGroup.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_() : mvcList.c , mvc.h
• Mvc_CoverAddDupCubeHead() : mvcList.c , mvc.h
• Mvc_CoverAddDupCubeTail() : mvc.h , mvcList.c
• Mvc_CoverAddLiteralsOfCube() : mvc.h , mvcList.c
• Mvc_CoverAlgebraicEqual() : mvc.h , mvcOpAlg.c
• Mvc_CoverAlgebraicMultiply() : mvcOpAlg.c , mvc.h
• Mvc_CoverAlgebraicSubtract() : mvc.h , mvcOpAlg.c
• Mvc_CoverAlloc() : mvcCover.c , mvc.h
• Mvc_CoverAllocateArrayCubes() : mvcCover.c , mvc.h
• Mvc_CoverAllocateArrayLits() : mvcCover.c , mvc.h
• Mvc_CoverAllocateMask() : mvc.h , mvcCover.c
• Mvc_CoverAnyLiteral() : mvcLits.c , mvc.h
• Mvc_CoverAppendCubes() : mvc.h
• Mvc_CoverArray2List() : mvcList.c , mvc.h
• Mvc_CoverBestLiteral() : mvc.h , mvcLits.c
• Mvc_CoverBestLiteralCover() : mvc.h , mvcLits.c
• 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() : mvcUtils.c , mvc.h
• Mvc_CoverCommonCubeCover() : mvc.h , mvcUtils.c
• Mvc_CoverComplement() : mvc.h
• Mvc_CoverContain() : mvcContain.c , mvc.h
• Mvc_CoverCopyAndAppendCubes() : mvc.h
• Mvc_CoverCopyColumn() : mvcUtils.c
• Mvc_CoverCountCubePairDiffs() : mvc.h , mvcUtils.c
• 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() : mvcList.c , mvc.h
• Mvc_CoverDist0Cubes() : mvc.h
• Mvc_CoverDist1Merge() : mvc.h
• Mvc_CoverDivide() : mvc.h , mvcDivide.c
• Mvc_CoverDivideByCube() : mvc.h , mvcDivide.c
• Mvc_CoverDivideByLiteral() : mvc.h , mvcDivide.c
• Mvc_CoverDivideByLiteralQuo() : mvc.h , mvcDivide.c
• Mvc_CoverDivideInternal() : 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() : mvc.h , mvcUtils.c
• 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() : mvcUtils.c , mvc.h
• Mvc_CoverIsBinaryBuffer() : mvc.h , mvcApi.c
• Mvc_CoverIsCubeFree() : mvc.h , mvcUtils.c
• Mvc_CoverIsEmpty() : mvcApi.c , mvc.h
• Mvc_CoverIsIntersecting() : mvc.h
• Mvc_CoverIsOneLiteral() : mvcLits.c , mvc.h
• Mvc_CoverIsTautology() : mvcApi.c , mvc.h
• Mvc_CoverList2Array() : mvc.h , mvcList.c
• Mvc_CoverMakeCubeFree() : mvc.h , mvcUtils.c
• Mvc_CoverMakeEmpty() : mvcApi.c , mvc.h
• Mvc_CoverMakeTautology() : mvc.h , mvcApi.c
• Mvc_CoverMinimizeByReshape() : mvc.h
• Mvc_CoverPrint() : mvc.h , mvcPrint.c
• Mvc_CoverPrintBinary() : mvcPrint.c
• Mvc_CoverPrintMv() : mvc.h
• Mvc_CoverReadBitNum() : mvcApi.c , mvc.h
• 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() : mvcUtils.c , mvc.h
• 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() : mvcApi.c , mvc.h
• Mvc_CoverSetCubeSizes() : mvcUtils.c , mvc.h
• 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() : mvc.h , mvcUtils.c
• Mvc_CoverTautology() : mvc.h
• Mvc_CoverTranspose() : mvcUtils.c , mvc.h
• 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() : mvc.h , mvcCube.c
• Mvc_CubeBitSharp : mvc.h
• Mvc_CubeBitValue : mvc.h
• Mvc_CubeCompareInt() : mvcCompare.c , mvc.h
• Mvc_CubeCompareIntOutsideAndUnderMask() : mvcCompare.c , mvc.h
• Mvc_CubeCompareIntOutsideMask() : mvc.h , mvcCompare.c
• Mvc_CubeCompareIntUnderMask() : mvcCompare.c , mvc.h
• Mvc_CubeCompareSizeAndInt() : mvcCompare.c , mvc.h
• 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_() : mvc.h , mvcList.c
• Mvc_ListDeleteCube : mvc.h
• Mvc_ListDeleteCube_() : mvcList.c , mvc.h
• Mvc_ListForEachCube : mvc.h
• Mvc_ListForEachCubeSafe : mvc.h
• Mvc_ListGetTailFromHead() : mvc.h , mvcList.c
• Mvc_ListReadCubeHead() : mvc.h , mvcApi.c
• Mvc_ListReadCubeNum() : mvc.h , mvcApi.c
• Mvc_ListReadCubeTail() : mvc.h , mvcApi.c
• Mvc_Manager_t : mvc.h
• Mvc_ManagerAllocCover() : mvc.h
• Mvc_ManagerAllocCube() : mvc.h
• Mvc_ManagerFree() : mvcMan.c , mvc.h
• Mvc_ManagerFreeCover() : mvc.h
• Mvc_ManagerFreeCube() : mvc.h
• Mvc_ManagerStart() : mvcMan.c , mvc.h
• Mvc_UtilsCheckUnusedZeros() : mvcUtils.c , mvc.h
• Mvr_CoverCountLitsWithValue() : mvc.h