- m -

• makeCopy() : CVCL::ContextObj, CVCL::CDO< T >, CVCL::CDMapOrdered< Key, Data >, CVCL::CDMapOrderedData, CVCL::CDOmapOrdered< Key, Data >, CVCL::CDMap< Key, Data, HashFcn >, CVCL::CDMapData, CVCL::CDOmap< Key, Data, HashFcn >, CVCL::CDList< T >, CVCL::CDFlags
• makeCurrent() : CVCL::ContextObj
• makeDecision() : CVCL::SearchSatDecider, CVCL::SearchSat, SAT::DPLLT::Decider
• MakeLit() : Xchaff, SatSolver
• mapTermsByType() : CVCL::TheoryQuant
• mark_clause_deleted() : CDatabase
• mark_var_in_new_cl() : CDatabase
• mark_vars_at_level() : CSolver
• markDeleted() : CVCL::Clause
• markSat() : CVCL::Clause
• matches() : CVCL::Theorem
• max_dlevel() : CSolver, CSolverStats
• mem_usage() : CSolver, CDatabase
• MemoryManagerChunks() : CVCL::MemoryManagerChunks
• MemoryManagerMalloc() : CVCL::MemoryManagerMalloc
• mergeLabels() : CVCL::TheoryDatatypeLazy, CVCL::TheoryDatatype
• mergeVectors() : CVCL::AssumptionsValue
• minusDef() : CVCL::RefinedArithTheoremProducer
• minusExpr() : CVCL::VCL, CVCL::ValidityChecker
• minusToPlus() : CVCL::RefinedArithTheoremProducer, CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• mkClause() : Xchaff
• mkLit() : Xchaff, SAT::Lit
• mkOp() : CVCL::Expr
• mkVar() : Xchaff
• modEq() : CVCL::ArithTheoremProducer
• modified() : CVCL::CLFlag
• monomialModM() : CVCL::ArithTheoremProducer
• monomialMulF() : CVCL::ArithTheoremProducer
• multAssoc() : CVCL::RefinedArithTheoremProducer
• multEqn() : CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• multExpr() : CVCL::VCL, CVCL::ValidityChecker
• multIneqn() : CVCL::ArithTheoremProducer, CVCL::ArithProofRules
• multInvR() : CVCL::RefinedArithTheoremProducer
• multLID() : CVCL::RefinedArithTheoremProducer
• multSymm() : CVCL::RefinedArithTheoremProducer
• multZeroL() : CVCL::RefinedArithTheoremProducer

---