- m -

• M114p_SolverForEachChain : m114p.h
• M114p_SolverForEachRoot : m114p.h
• MAGIC : unate.c , sharp.c
• MAIN_QSORT_DEPTH_THRESH : blocksort.c
• MAIN_QSORT_SMALL_THRESH : blocksort.c
• MAIN_QSORT_STACK_SIZE : blocksort.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 : avl.h , util_old.h
• 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
• MAXOUTPUTS : cas.h
• MAXSHORTINT : cuddSubsetSP.c
• MAXVARS : extraBddKmap.c
• MAYBE : espresso.h
• MEM_ALLOC : mvc.h
• MEM_ALLOC_FXU : fxuInt.h
• MEM_FREE : mvc.h
• MEM_FREE_FXU : fxuInt.h
• MF_CUT_MAX : giaMf.c
• MF_LEAF_MAX : giaMf.c
• MF_LOG_PAGE : giaMf.c
• MF_NO_FUNC : giaMf.c
• MF_NO_LEAF : giaMf.c
• Mf_ObjForEachCut : giaMf.c
• Mf_SetForEachCut : giaMf.c
• MF_TT_WORDS : giaMf.c
• MFS_FANIN_MAX : mfsInt.h
• MIG_BASE : mpmMig.h
• 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_MASK : mpmMig.h
• MIG_NONE : mpmMig.h
• Mig_ObjForEachFanin : mpmMig.h
• Mig_ObjForEachFaninId : mpmMig.h
• MIN : util_old.h
• Min_CoverForEachCube : covInt.h
• Min_CoverForEachCubePrev : covInt.h
• Min_CoverForEachCubeSafe : covInt.h
• MIN_LOOKAHEAD : deflate.h
• MIN_MATCH : zutil.h
• MINCOV : espresso.h
• 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_AigForEachAnd : miniaig.h
• Mini_AigForEachPi : miniaig.h
• Mini_AigForEachPo : miniaig.h
• 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_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_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 : mioFunc.c , mioForm.c
• mmin : blocksort.c
• MMoutOfMemory : util_hack.h
• mnextsize : blocksort.c
• mnextswap : blocksort.c
• MOD : adler32.c
• MOD4 : adler32.c
• MODULUS1 : cuddUtil.c
• MODULUS2 : cuddUtil.c
• MPM_CUT_MAX : mpmInt.h
• Mpm_CutForEachLeaf : mpmInt.h
• Mpm_CutForEachLeafId : mpmInt.h
• Mpm_CutForEachLeafLit : mpmInt.h
• Mpm_ObjForEachCut : mpmInt.h
• Mpm_ObjForEachCutSafe : 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
• mpop : blocksort.c
• mpush : blocksort.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
• mswap : blocksort.c
• MTFA_SIZE : bzlib_private.h
• MTFL_SIZE : bzlib_private.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
• MULTIPLE_LTL_FORMULA : liveness.c
• 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
• mvswap : blocksort.c
• MYMAX : huffman.c