- m -

• max_conflict_clause_length : CSolverParameters
• max_dlevel : CSolverStats
• max_level : MiniSat::SolverStats
• max_literals : MiniSat::SolverStats
• MAX_TRIG_BVS : CVC3::TheoryQuant
• max_unrelevance : CSolverParameters
• maxCoefficientLeft : CVC3::TheoryArithOld , CVC3::TheoryArith3
• maxCoefficientRight : CVC3::TheoryArith3 , CVC3::TheoryArithOld
• mem_used_up : CDatabaseStats
• mem_used_up_counts : CDatabaseStats
• min_num_clause_lits_for_delete : CSolverParameters
• MinusInfinity : CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational , CVC3::TheoryArithNew::EpsRational
• multiId : CVC3::Trigger
• multiIndex : CVC3::Trigger
• multiplicativeSignSplits : CVC3::TheoryArithOld