- m -

• map_direct : Clasp::SymbolTable
• map_indirect : Clasp::SymbolTable
• MARK_N : Clasp::VarInfo
• MARK_P : Clasp::VarInfo
• MAX_ACT : Clasp::Activity
• MAX_ACTIVITY : Clasp::ClauseInfo , Clasp::ClauseHead
• MAX_LBD : Clasp::Activity , Clasp::ClauseInfo , Clasp::ClauseHead
• MAX_SHORT_LEN : Clasp::Clause , Clasp::ClauseHead
• max_value : Clasp::Constraint_t , Clasp::Model
• message : Clasp::LogEvent
• missing_value : ProgramOptions::SyntaxError
• mod_factor : Clasp::DomainHeuristic::DomEntry
• mod_init : Clasp::DomainHeuristic::DomEntry
• mod_level : Clasp::DomainHeuristic::DomEntry
• mod_sign : Clasp::DomainHeuristic::DomEntry
• mod_tf : Clasp::DomainHeuristic::DomEntry
• mode_native : Clasp::Asp::LogicProgram
• mode_transform : Clasp::Asp::LogicProgram
• mode_transform_card : Clasp::Asp::LogicProgram
• mode_transform_choice : Clasp::Asp::LogicProgram
• mode_transform_dynamic : Clasp::Asp::LogicProgram
• mode_transform_integ : Clasp::Asp::LogicProgram
• mode_transform_nhcf : Clasp::Asp::LogicProgram
• mode_transform_scc : Clasp::Asp::LogicProgram
• mode_transform_weight : Clasp::Asp::LogicProgram
• model_cons : Clasp::Model
• model_sat : Clasp::Model
• multiple_occurences : ProgramOptions::ValueError