- m -

• Matchings : souffle::ram::analysis::MaxMatching
• meet_assign_op_type : souffle::ast::analysis::property_space< T, meet_assign_op, bottom_factory, meet_op >
• meet_op_type : souffle::ast::analysis::property_space< T, meet_assign_op, bottom_factory, meet_op >