Here is a list of all struct and union fields with links to the structures/unions they belong to:

- m -

• mainList : list_elem , gen_desc
• manager : cmu_bdd_gen , cu_bdd_gen , mdd_gen , DdGen , CalBddGenStruct , DdLocalCache , DdHashTable
• mantissa0 : IeeeDoubleStruct , IeeeNanStruct
• mantissa1 : IeeeDoubleStruct , IeeeNanStruct
• map : DdManager
• mark : bdd_
• max : ApproxInfo
• max_density : st_table
• maxCacheHard : DdManager
• maxCapacity : CalHashTableStruct
• maxDepth : Cal_BddManagerStruct
• maxForwardedNodes : Cal_BddManagerStruct
• maxGrowth : DdManager
• maxGrowthAlt : DdManager
• maxKeys : DdSubtable
• maxLive : DdManager
• maxmem : DdManager
• maxmemhard : DdManager
• maxNumPages : CalNodeManagerStruct
• maxNumSegments : CalPageManagerStruct
• maxNumSwapsPerReordering : Cal_BddManagerStruct
• maxNumVars : Cal_BddManagerStruct
• maxNumVarsSiftedPerReordering : Cal_BddManagerStruct
• maxpath : AssortedInfo
• maxpathTable : AssortedInfo
• maxSiftingGrowth : Cal_BddManagerStruct
• maxSize : DdManager
• maxsize : DdHashTable , DdLevelQueue
• maxSizeZ : DdManager
• maxslots : DdLocalCache
• maxvars : bdd_manager_
• mdd : bdd_external_hooks_struct
• memoryList : DdManager , DdHashTable
• memused : DdManager
• mgr : bdd_t
• minDead : DdManager
• minHit : DdManager , DdLocalCache
• minterm : mdd_gen
• mintermPointer : NodeData
• minterms : ApproxInfo
• mintermsN : NodeData
• mintermsP : NodeData
• minusinfinity : DdManager
• modified : avl_tree_struct
• mvar_id : bvar_type , mvar_type
• mvar_list : mdd_hook_type