- m -

• m1 : ModelGraphE2M2Fixture
• m10 : ModelGraphE2M2Fixture
• m11 : ModelGraphE2M2Fixture
• m12 : ModelGraphE2M2Fixture
• m13 : ModelGraphE2M2Fixture
• m14 : ModelGraphE2M2Fixture
• m2 : ModelGraphE2M2Fixture
• m3 : ModelGraphE2M2Fixture
• m4 : ModelGraphE2M2Fixture
• m5 : ModelGraphE2M2Fixture
• m6 : ModelGraphE2M2Fixture
• m7 : ModelGraphE2M2Fixture
• m8 : ModelGraphE2M2Fixture
• m9 : ModelGraphE2M2Fixture
• m_buf : bm::bvmini< N > , bm::bvector_mini< A > , bm::miniset< A, N >
• m_size : bm::bvector_mini< A >
• m_type : bm::miniset< A, N >
• MAINKIND_ATOM : ID
• MAINKIND_LITERAL : ID
• MAINKIND_MASK : ID
• MAINKIND_RULE : ID
• MAINKIND_SHIFT : ID
• MAINKIND_TERM : ID
• mapping : EvalGraphBuilder
• mask : GenuineGuessAndCheckModelGenerator , GuessAndCheckModelGenerator , OrdinaryASPProgram , DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• maski : PredicateMask
• matoms : Registry
• mau : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• max_bit_ : bm::bvector< Alloc >::insert_iterator
• max_serialize_mem : bm::bv_statistics
• maxArity : FunctionPlugin::CtxData
• maxID : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• maxint : OrdinaryASPProgram , ProgramCtx
• maxPredArity : BaseTopology
• mbp : OnlineModelBuilder< EvalGraphT >
• memory_used : bm::bv_statistics
• message : Logger::Closure
• metric : bm::distance_metric_descriptor
• mg : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > , ModelBuilder< EvalGraphT > , UnfoundedSetChecker , UnfoundedSetCheckerManager , ModelGraphE2M2Fixture
• mgf : EvalUnitModelGeneratorFactoryProperties< InterpretationT >
• mgr : SemanticActionBase< ManagerClass, TargetAttribute, Tag >
• mit : TestModelGeneratorFactory::ModelGenerator
• mliterals : AggregateAtom
• mlpMode : HexGrammarSemantics
• mlpModuleAtom : HexGrammarBase< Iterator, Skipper >
• mlpModuleAtomPredicate : HexGrammarBase< Iterator, Skipper >
• mlpModuleHeader : HexGrammarBase< Iterator, Skipper >
• mlpModuleName : HexGrammarBase< Iterator, Skipper >
• mode : UnfoundedSetChecker , QueryPlugin::CtxData , AggregatePlugin::CtxData
• MODELB : Logger
• modelBuilder : ProgramCtx
• modelBuilderFactory : ProgramCtx
• modelCallbacks : ProgramCtx
• modelCount : InternalGroundASPSolver
• models : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels , TestModelGeneratorFactory::ModelGenerator
• moduleName : Module
• modules : ModuleHexParser , HexGrammarBase< Iterator, Skipper >
• moduleTable : Registry
• mono_block_cnt_ : bm::serial_stream_iterator< DEC >
• monotonicInputPredicates : ExtSourceProperties
• mtx : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• mutex : benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController , SimpleNogoodContainer , Table< ValueT, IndexT >
• mvariables : AggregateAtom
• myAuxiliaryPredicateMask : HigherOrderPlugin::CtxData , StrongNegationPlugin::CtxData
• myHash : Interpretation
• myID : benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController