Here is a list of all documented class members with links to the class documentation for each member:

- m -

• makeCost_ : HVariableState
• makeUnitCosts() : HVariableState , VariableState
• markHardGndClauses : AddGroundClauseStruct
• maxFeatureId_ : RRF
• maxItems() : Array< Type >
• maxSeconds : BPParams , MCMCParams
• maxSeconds_ : MCMC
• maxSize() : HashList< Type, HashFn, EqualFn >
• maxSteps : BPParams , MaxWalksatParams , MCMCParams
• maxSteps_ : SAT , MCMC
• maxTries : MaxWalksatParams
• maxTries_ : SAT
• MaxWalkSat() : MaxWalkSat
• MCMC() : MCMC
• MCSAT() : MCSAT
• MeanVariance() : MeanVariance
• merge() : Variable
• minimize() : LBFGSB , LBFGSP , LBFGSR
• minimizePl() : LBFGSB
• minSteps : MCMCParams
• minSteps_ : MCMC
• minus() : Internals
• MINUS_NAME : PredicateTemplate
• MLN() : MLN
• mln : ZZFormulaInfo
• MLNClauseInfo() : MLNClauseInfo
• Mod() : Complex
• mod() : Internals
• MOD_NAME : PredicateTemplate
• MODE_HARD : HVariableState , VariableState
• MODE_MWS : HVariableState , VariableState
• MODE_SAMPLESAT : HVariableState , VariableState
• Modsq() : Complex
• moveTermsFromUnseenToSeen() : Clause
• moveToNextStep() : Factor , Node
• MRF() : MRF
• msgsArr_ : Factor
• MultDArray() : MultDArray< Type >
• multiplyMessagesAndSumOut() : Factor
• mustHaveWtOrFullStop : ZZFormulaInfo
• mwsParams : MCSatParams , SimulatedTemperingParams , GibbsParams

---