- m -

• m : Clasp::Constraint_t::Set
• map_ : Clasp::SymbolTable , ProgramOptions::ValueMap
• mapping : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap
• marked : Clasp::Solver::DLevel
• marked_ : Clasp::SatPreprocessor::Clause
• max : Clasp::Test::LiteralTest , Clasp::SatElite::SatElite::Progress
• MAX_EQ_ITERS : Clasp::Asp::LogicProgram::AspOptions
• maxBerkmin_ : Clasp::ClaspBerkmin
• maxCost_ : Clasp::OPBParser
• maxL : Clasp::ShortImplicationsGraph::ReverseArc
• maxPass_ : Clasp::Asp::Preprocessor
• maxQ_ : Clasp::mt::MultiQueue< T, Deleter >
• maxRange : Clasp::ReduceParams
• maxSat : Clasp::EnumOptions
• maxSat_ : Clasp::SatBuilder
• maxSize : Clasp::Asp::PrgBody , Clasp::QueueImpl
• maxVar_ : Clasp::PBBuilder
• maxVertex : Clasp::Asp::PrgNode
• mBody : Clasp::Asp::Preprocessor::BodyExtra
• mem : Clasp::SmallClauseAlloc::Chunk , bk_lib::detail::with_inline_buffer< L, R, cap >::X
• memLimit : Clasp::SearchLimits
• memMax : Clasp::ReduceParams
• memUse_ : Clasp::Solver
• mid : Clasp::Test::LiteralTest
• min : Clasp::Test::UncoreMinimizeTest , Clasp::Asp::SccChecker::Call , Clasp::Test::LiteralTest
• min_ : Clasp::ProgramBuilder
• minCon_ : Clasp::ProgramBuilder
• minCost_ : Clasp::OPBParser
• mini_ : Clasp::Enumerator , Clasp::EnumerationConstraint , Clasp::DefaultUnfoundedCheck
• minimize_ : Clasp::Asp::LogicProgram
• minKey : Clasp::Cli::ClaspCliConfig::ParseContext::Frame
• minLits_ : Clasp::DomainHeuristic
• mod : Clasp::DomainHeuristic::DomAction , Clasp::DomainHeuristic::DomEntry
• mode : Clasp::SatPreParams , Clasp::ScoreLook
• mode_ : Clasp::SharedMinimizeData
• mode_relaxed : Clasp::Cli::ClaspCliConfig
• mode_solver : Clasp::Cli::ClaspCliConfig
• mode_tester : Clasp::Cli::ClaspCliConfig
• model : Clasp::Solver , Clasp::Test::EnumeratorTest , Clasp::ModelEvent
• model_ : Clasp::Enumerator
• MOVE_TO_FRONT : Clasp::ClaspVmtf
• msg : Clasp::LogEvent
• mtf_ : Clasp::ClaspVmtf
• mutex : Clasp::CBConsequences::SharedConstraint