- m -

• M : Map_CutStruct_t_
• manager : DdGen , DdHashTable , DdLocalCache
• mantissa0 : IeeeDoubleStruct , IeeeNanStruct
• mantissa1 : IeeeNanStruct , IeeeDoubleStruct
• map : DdManager
• Mark : Dsd_Node_t_
• Mask : Ivy_Eva_t_ , Ivy_Eval_t_
• max : ApproxInfo
• max_density : st_table , stmm_table
• max_depth : stats_struct
• max_literals : stats_t
• max_print_depth : stats_struct
• maxCacheHard : DdManager
• maxGrowth : DdManager
• maxGrowthAlt : DdManager
• maxKeys : DdSubtable
• maxLive : DdManager
• maxmem : DdManager
• maxmemhard : DdManager
• maxpath : AssortedInfo
• maxpathTable : AssortedInfo
• MaxScore : Fra_Par_t_ , Ivy_FraigParams_t_
• maxSize : DdManager
• maxsize : DdHashTable , DdLevelQueue
• maxSizeZ : DdManager
• maxslots : DdLocalCache
• memoryList : DdHashTable , DdManager
• memused : DdManager
• minDead : DdManager
• minHit : DdLocalCache , DdManager
• mintermPointer : NodeData
• minterms : ApproxInfo
• mintermsN : NodeData
• mintermsP : NodeData
• minusinfinity : DdManager
• mmCuts : Fpga_ManStruct_t_ , Map_ManStruct_t_
• mmEntries : Map_SuperLibStruct_t_
• mmForms : Map_SuperLibStruct_t_
• mmMan : Map_HashTableStruct_t_
• mmNodes : Map_ManStruct_t_ , Fpga_ManStruct_t_ , Fraig_ManStruct_t_
• mmSims : Fraig_ManStruct_t_
• mmSupers : Map_SuperLibStruct_t_
• mode : ABC_ManagerStruct_t
• model : sat_solver_t
• mv : cost_struct
• mv_mask : cube_struct