- m -

• m : wali::util::ParseArgv
• measureAndReport : wali::util::Timer
• mf : wali::graph::HyperEdge
• middle : wali::relations::Domain
• msg : wali::Exception
• myBdd : wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject >