- m -

• MAGIC : sharp.c , unate.c
• MAP_CO_LIST_SIZE : mapperUtils.c
• Map_CutIsComplement : mapperInt.h
• Map_CutNot : mapperInt.h
• Map_CutNotCond : mapperInt.h
• Map_CutRegular : mapperInt.h
• MAP_CUTS_MAX_COMPUTE : mapperCut.c
• MAP_CUTS_MAX_USE : mapperCut.c
• MAP_FLOAT_LARGE : mapperInt.h
• MAP_FLOAT_SMALL : mapperInt.h
• MAP_FULL : mapperInt.h
• Map_InfoFlipVar : mapperInt.h
• Map_InfoReadVar : mapperInt.h
• Map_InfoRemVar : mapperInt.h
• Map_InfoSetVar : mapperInt.h
• Map_IsComplement : mapper.h
• Map_ListForEachCut : mapperCut.c
• Map_ListForEachCutSafe : mapperCut.c
• MAP_MASK : mapperInt.h
• MAP_MAX : mapperInt.h
• MAP_MIN : mapperInt.h
• MAP_NO_VAR : mapperInt.h
• Map_NodeForEachFanout : mapperInt.h
• Map_NodeForEachFanoutSafe : mapperInt.h
• Map_NodeIsSimComplement : mapperInt.h
• Map_NodeReadNextFanout : mapperInt.h
• Map_NodeReadNextFanoutPlace : mapperInt.h
• Map_NodeReadRef : mapperInt.h
• Map_NodeRef : mapperInt.h
• Map_Not : mapper.h
• Map_NotCond : mapper.h
• MAP_RANDOM_UNSIGNED : mapperInt.h
• Map_Regular : mapper.h
• MAP_TABLE_HASH : mapperTable.c
• max : stdlib_hack.h
• 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
• MAXOUTPUTS : cas.h
• MAXSHORTINT : cuddSubsetSP.c
• MAXVARS : extraBddKmap.c
• MAYBE : espresso.h
• MB_CUR_MAX : stdlib_hack.h
• MEM_ALLOC : mvc.h
• MEM_ALLOC_FXU : fxuInt.h
• MEM_FREE : mvc.h
• MEM_FREE_FXU : fxuInt.h
• min : stdlib_hack.h
• MIN : util_old.h
• MINCOV : espresso.h
• MINCOV1 : espresso.h
• MINCOV_TIME : espresso.h
• MIO_FULL : mioInt.h
• Mio_GateForEachPin : mio.h
• Mio_GateForEachPinSafe : mio.h
• Mio_LibraryForEachGate : mio.h
• Mio_LibraryForEachGateSafe : mio.h
• MIO_MASK : mioInt.h
• 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
• MMoutOfMemory : util_hack.h
• MODULUS1 : cuddUtil.c
• MODULUS2 : cuddUtil.c
• MSAT_LIT2VAR : msat.h
• MSAT_LIT_UNASSIGNED : msatInt.h
• MSAT_LITNOT : msat.h
• MSAT_LITSIGN : msat.h
• MSAT_ORDER_UNKNOWN : msatInt.h
• Msat_OrderRingForEachEntry : msatOrderJ.c
• Msat_OrderVarIsAssigned : msatOrderJ.c
• Msat_OrderVarIsInBoundary : msatOrderJ.c
• Msat_OrderVarIsUsedInCone : msatOrderJ.c
• MSAT_VAR2LIT : msat.h
• MSAT_VAR_UNASSIGNED : msatInt.h
• MSG : cudd2.h
• MTR_DEFAULT : mtr.h
• MTR_FIXED : mtr.h
• MTR_INLINE : mtr.h
• MTR_MAXHIGH : mtr.h
• MTR_NEWNODE : mtr.h
• MTR_RESET : mtr.h
• MTR_SET : mtr.h
• MTR_SOFT : mtr.h
• MTR_TERMINAL : mtr.h
• MTR_TEST : mtr.h
• MTR_UNUSED : mtr.h
• MV_OOM : cuddSymmetry.c
• MV_REDUCE_TIME : espresso.h
• Mvc_CoverAddCubeHead : mvc.h
• Mvc_CoverAddCubeTail : mvc.h
• Mvc_CoverDeleteCube : mvc.h
• Mvc_CoverForEachCube : mvc.h
• Mvc_CoverForEachCubeSafe : mvc.h
• Mvc_CoverForEachCubeStart : mvc.h
• Mvc_CoverForEachCubeStartSafe : mvc.h
• Mvc_CoverForEachCubeWithIndex : mvc.h
• 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_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_CubeBitSharp : mvc.h
• Mvc_CubeBitValue : mvc.h
• Mvc_CubeForEachBit : mvc.h
• Mvc_CubeForEachVarValue : 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_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_ListAddCubeHead : mvc.h
• Mvc_ListAddCubeTail : mvc.h
• Mvc_ListDeleteCube : mvc.h
• Mvc_ListForEachCube : mvc.h
• Mvc_ListForEachCubeSafe : mvc.h