- m -

• Map() : Minisat::Map< K, D, H, E >
• mark() : Minisat::Clause
• merge() : Minisat::SimpSolver
• mkVarData() : Minisat::Solver
• modelValue() : Minisat::Solver
• moveTo() : Minisat::ClauseAllocator , Minisat::CMap< T > , Minisat::Map< K, D, H, E > , Minisat::RegionAllocator< T > , Minisat::vec< T >