- m -

• makeCopy() : CVC3::CDFlags , CVC3::CDList< T > , CVC3::CDMapData , CVC3::CDMapOrdered< Key, Data > , CDList< T > , CDList< size_t > , CDList< size_t > size_t , CDOmap< Key, Data, HashFcn > , CDMap< Key, Data, HashFcn > , CVC3::CDO< T > , CDOmap< Key, Data, HashFcn > new , CDOmap< Key, Data, HashFcn > new true CDOmap< Key, Data, HashFcn > , CDOmapOrdered< Key, Data > , CDMapOrdered< Key, Data > , CVC3::CDMap< Key, Data, HashFcn > , CDOmapOrdered< Key, Data > , CDOmapOrdered< Key, Data > new CDOmapOrdered< Key, Data > , CDO< T > , iterator , CDList< Theorem > , CDO< Theorem > , CDMap< Expr, Theorem > , iterator , CVC3::CDOmap< Key, Data, HashFcn > , CVC3::CDOmapOrdered< Key, Data > , iterator , CDList< Expr > , const_iterator , CDList< Ineq > , iterator , CVC3::CDMapOrderedData , CVC3::ContextObj , iterator , CDOmap< Expr, FreeConst > , CDMap< Expr, bool > , CDMap< Expr, CDList< dynTrig > , iterator , CDList< dynTrig > , vector< Expr >
• makeCurrent() : iterator , CDList< dynTrig > , vector< Expr > , iterator , CDList< size_t > , CDList< T > , CDList< size_t > size_t , CDOmap< Key, Data, HashFcn > , CDMap< Key, Data, HashFcn > , CDOmap< Key, Data, HashFcn > new , CDOmap< Key, Data, HashFcn > new true CDOmap< Key, Data, HashFcn > , CDMap< Expr, CDList< dynTrig > , CDOmapOrdered< Key, Data > , CDMapOrdered< Key, Data > , CDOmapOrdered< Key, Data > , CDOmapOrdered< Key, Data > new CDOmapOrdered< Key, Data > , CDO< T > , CDOmap< Expr, FreeConst > , CDList< Theorem > , CDO< Theorem > , iterator , CDMap< Expr, Theorem > , iterator , CDList< Expr > , const_iterator , CDList< Ineq > , iterator , CDMap< Expr, bool > , CVC3::ContextObj , iterator
• makeDecision() : SAT::DPLLT::Decider , CVC3::SearchSat , CVC3::SearchSatDecider
• MakeLit() : Xchaff , SatSolver
• mapTermsByType() : CVC3::TheoryQuant
• mark_clause_deleted() : CDatabase
• mark_var_in_new_cl() : CDatabase
• mark_vars_at_level() : CSolver
• markDeleted() : CVC3::Clause
• markSat() : CVC3::Clause
• matchChild() : CVC3::TheoryQuant
• matches() : CVC3::Theorem
• matchListNew() : CVC3::TheoryQuant
• matchListOld() : CVC3::TheoryQuant
• max_dlevel() : CSolver
• mem_usage() : CDatabase , CSolver
• MemoryManagerChunks() : CVC3::MemoryManagerChunks
• MemoryManagerMalloc() : CVC3::MemoryManagerMalloc
• mergeLabels() : CVC3::TheoryDatatype , CVC3::TheoryDatatypeLazy , CVC3::TheoryDatatype
• minusExpr() : CVC3::VCL , CVC3::ValidityChecker
• minusToPlus() : CVC3::ArithTheoremProducerOld , CVC3::ArithTheoremProducer , CVC3::ArithProofRules
• mkClause() : Xchaff
• mkLit() : Xchaff , SAT::Lit
• mkOp() : CVC3::Expr
• mkVar() : Xchaff
• modEq() : CVC3::ArithTheoremProducerOld , CVC3::ArithTheoremProducer
• modified() : CVC3::CLFlag
• monomialModM() : CVC3::ArithTheoremProducerOld , CVC3::ArithTheoremProducer
• monomialMulF() : CVC3::ArithTheoremProducerOld , CVC3::ArithTheoremProducer
• moveSumConstantRight() : CVC3::ArithProofRules , CVC3::ArithTheoremProducer , CVC3::ArithTheoremProducerOld
• moveTo() : vec< T > , MiniSat::vec< T >
• multEqn() : CVC3::ArithProofRules , CVC3::ArithTheoremProducer , CVC3::ArithTheoremProducerOld
• multExpr() : CVC3::VCL , CVC3::ValidityChecker
• multIneqn() : CVC3::ArithTheoremProducer , CVC3::ArithTheoremProducerOld , CVC3::ArithProofRules

---