- m -

• makeCost_ : HVariableState
• markHardGndClauses : AddGroundClauseStruct
• maxFeatureId_ : RRF
• maxSeconds : BPParams , MCMCParams
• maxSeconds_ : MCMC
• maxSteps : BPParams , MaxWalksatParams , MCMCParams
• maxSteps_ : SAT , MCMC
• maxTries : MaxWalksatParams
• maxTries_ : SAT
• minSteps : MCMCParams
• minSteps_ : MCMC
• MINUS_NAME : PredicateTemplate
• mln : ZZFormulaInfo
• MOD_NAME : PredicateTemplate
• MODE_HARD : HVariableState , VariableState
• MODE_MWS : VariableState , HVariableState
• MODE_SAMPLESAT : HVariableState , VariableState
• msgsArr_ : Factor
• mustHaveWtOrFullStop : ZZFormulaInfo
• mwsParams : MCSatParams , GibbsParams , SimulatedTemperingParams

---