- m -

• makeNegatedLiteral() : WSUtil
• makeUnitCosts() : VariableState
• maxItems() : Array< Type >
• maxSize() : HashList< Type, HashFn, EqualFn >
• MaxWalkSat() : MaxWalkSat
• MCMC() : MCMC
• MCSAT() : MCSAT
• MeanVariance() : MeanVariance
• minimize() : LBFGSB
• minus() : Internals
• MLN() : MLN
• MLNClauseInfo() : MLNClauseInfo
• mod() : Internals
• moveTermsFromUnseenToSeen() : Clause
• MRF() : MRF
• MultDArray() : MultDArray< Type >
• mySign() : LWUtil , LazyUtil

---