- m -

• macc : AlumaccWorker::maccnode_t
• macc_counter : AlumaccWorker
• mag : BigInteger
• map : Minisat::CMap< T > , Minisat::IntMap< K, V, MkIndex >
• map_to : SigMap::shared_bit_data_t
• mappings : SubCircuit::Solver::Result
• mark : Minisat::Clause
• matchesPerGraph : SubCircuit::Solver::MineResult
• max_learnts : Minisat::Solver
• max_literals : Minisat::Solver
• max_simp_var : Minisat::SimpSolver
• max_timestep : SatHelper
• maxPermutationsLimit : SubCircuit::SolverWorker
• mem2reg : AST::AstModule
• mem_next : BtorDumper
• memories : RTLIL::Module
• memory : Minisat::RegionAllocator< T >
• merged_set : FsmExpand
• merges : Minisat::SimpSolver
• mi : ShareWorker , WreduceWorker
• min_learnts_lim : Minisat::Solver
• minisatSolver : ezMiniSAT
• minisatVars : ezMiniSAT
• minWidth : SubCircuit::Graph::Port
• mod1 : BruteForceEquivChecker
• mod1_inputs : BruteForceEquivChecker
• mod1_outputs : BruteForceEquivChecker
• mod2 : BruteForceEquivChecker
• mod2_inputs : BruteForceEquivChecker
• mod2_outputs : BruteForceEquivChecker
• model : Minisat::Solver
• model_undef : SatGen
• modelExpressions : SatHelper
• modelInfo : SatHelper
• modelValues : SatHelper
• module : AlumaccWorker , BlifDumper , BtorDumper , ConstEval , Dff2dffeWorker , FreduceWorker , FsmExpand , FsmOpt , MaccmapWorker , MemoryMapWorker , MemoryShareWorker , ModIndex , ModWalker , OptMuxtreeWorker , OptReduceWorker , OptShareWorker , RTLIL::Cell , RTLIL::Wire , SatHelper , SccWorker , ShareWorker , ShowWorker , SpliceWorker , SubmodWorker , WreduceWorker
• module_names : VlogHammerReporter
• module_queue : TechmapWorker
• modules : VlogHammerReporter
• modules_ : RTLIL::Design
• modwalker : MemoryShareWorker , ShareWorker
• monitors : RTLIL::Design , RTLIL::Module
• multirange_dimensions : AST::AstNode
• mux2info : OptMuxtreeWorker
• mux_drivers : OptMuxtreeWorker::bitinfo_t
• mux_users : OptMuxtreeWorker::bitinfo_t