Here is a list of all struct and union fields with links to the structures/unions they belong to:
- 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
- make_bit_block()
: bm::blocks_manager< Alloc >
- ManualEvalHeuristicsParserModuleSemantics()
: ManualEvalHeuristicsParserModuleSemantics
- ManualEvalHeuristicsPlugin()
: ManualEvalHeuristicsPlugin
- mapAuxToEAtoms()
: AnnotatedGroundProgram
- mapping
: EvalGraphBuilder
- mapsAux()
: AnnotatedGroundProgram
- markExternalPropertyIfExternalBody()
: HexGrammarSemantics
- markModulePropertyIfModuleBody()
: HexGrammarSemantics
- mask
: GenuineGuessAndCheckModelGenerator
, GuessAndCheckModelGenerator
, OrdinaryASPProgram
, DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
, PredicateMask
- maski
: PredicateMask
- match()
: InternalGrounder
, Nogood
- matchAtom()
: ComfortInterpretation
- matchBuiltin()
: InternalGrounder
- matchNextFromExtension()
: InternalGrounder
- matchNextFromExtensionBuiltin()
: InternalGrounder
- matchNextFromExtensionBuiltinBinary()
: InternalGrounder
- matchNextFromExtensionBuiltinTernary()
: InternalGrounder
- matchNextFromExtensionBuiltinUnary()
: InternalGrounder
- matchNextFromExtensionOrdinary()
: InternalGrounder
- matchOrdinary()
: InternalGrounder
- matchOutputAtom()
: ExternalAtomMask
- matchPredicate()
: ComfortInterpretation
- 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 >
- mem_alloc()
: bm::mem_alloc< BA, PA >
- mem_used()
: bm::blocks_manager< Alloc >
, bm::miniset< A, N >
, bm::bvmini< N >
, bm::bvector_mini< A >
, bm::blocks_manager< Alloc >
, bm::miniset< A, N >
, bm::bvmini< N >
, bm::bvector_mini< A >
- memory_used
: bm::bv_statistics
- mergeComponents()
: EvalHeuristicGreedy
- message
: Logger::Closure
- MessagePtr
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
- metric
: bm::distance_metric_descriptor
- mg
: ModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, UnfoundedSetChecker
, UnfoundedSetCheckerManager
, ModelGraphE2M2Fixture
- mgf
: EvalUnitModelGeneratorFactoryProperties< InterpretationT >
- mgr
: SemanticActionBase< ManagerClass, TargetAttribute, Tag >
- miniset()
: bm::miniset< A, N >
- mit
: TestModelGeneratorFactory::ModelGenerator
- mliterals
: AggregateAtom
- mlpMode
: HexGrammarSemantics
- mlpModuleAtom
: HexGrammarBase< Iterator, Skipper >
- mlpModuleAtomPredicate
: HexGrammarBase< Iterator, Skipper >
- mlpModuleHeader
: HexGrammarBase< Iterator, Skipper >
- mlpModuleName
: HexGrammarBase< Iterator, Skipper >
- mlpSolver()
: ProgramCtx
, State
, MLPSolverState
- MLPSolverState()
: MLPSolverState
- MLPSyntaxChecker()
: MLPSyntaxChecker
- Mode
: QueryPlugin::CtxData
- mode
: AggregatePlugin::CtxData
, QueryPlugin::CtxData
, UnfoundedSetChecker
- Mode
: AggregatePlugin::CtxData
, UnfoundedSetChecker
- Model
: OfflineModelBuilder< EvalGraphT >
, ModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, OnlineModelBuilder< EvalGraphT >
- MODEL_GENERATOR
: Configuration
- MODELB
: Logger
- ModelBuilder
: OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
, OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
, ModelBuilder< EvalGraphT >
- modelBuilder
: ProgramCtx
- ModelBuilderConfig()
: ModelBuilderConfig< EvalGraphT >
- modelBuilderFactory
: ProgramCtx
- modelCallbacks
: ProgramCtx
- modelCount
: InternalGroundASPSolver
- ModelDep
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, OnlineModelBuilder< EvalGraphT >
- ModelDepPropertyBase
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelDepPropertyBundle()
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundle
- ModelGenerator()
: TestModelGeneratorFactory::ModelGenerator
- ModelGeneratorBase()
: ModelGeneratorBase< InterpretationT >
- ModelGeneratorFactoryBase()
: ModelGeneratorFactoryBase< InterpretationT >
- ModelGeneratorPtr
: ModelGeneratorFactoryBase< InterpretationT >
- ModelGraph()
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
- ModelGraphE2M2Fixture()
: ModelGraphE2M2Fixture
- ModelGraphInt
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelIterator
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelList
: OfflineModelBuilder< EvalGraphT >
, OnlineModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelListIterator
: OfflineModelBuilder< EvalGraphT >
- ModelPredecessorIterator
: OnlineModelBuilder< EvalGraphT >
- ModelProperties()
: ModelBuilder< EvalGraphT >::ModelProperties
- ModelPropertyBase
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelPropertyBundle
: OfflineModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
, OnlineModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle
- models
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
, TestModelGeneratorFactory::ModelGenerator
- modelsAt()
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- ModelSuccessorIterator
: OnlineModelBuilder< EvalGraphT >
- Module()
: Module
- ModuleAtom()
: ModuleAtom
- moduleName
: Module
- ModuleNameIndex
: ModuleTable
- modules
: HexGrammarBase< Iterator, Skipper >
, ModuleHexParser
- moduleSyntaxCheck()
: State
, ProgramCtx
, ModuleSyntaxCheckState
- ModuleSyntaxCheckState()
: ModuleSyntaxCheckState
- moduleTable
: Registry
- mono_block_cnt_
: bm::serial_stream_iterator< DEC >
- monotonicInputPredicates
: ExtSourceProperties
- mtx
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
- mutex
: SimpleNogoodContainer
, benchmark::simple::BenchmarkController
- Mutex()
: Logger
- mutex
: Table< ValueT, IndexT >
, benchmark::nestingAware::NestingAwareController
- mvariables
: AggregateAtom
- myAuxiliaryPredicateMask
: HigherOrderPlugin::CtxData
, StrongNegationPlugin::CtxData
- MyEvalGraph
: ModelBuilder< EvalGraphT >
, OnlineModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- myHash
: Interpretation
- myID
: benchmark::nestingAware::NestingAwareController
, benchmark::simple::BenchmarkController
- MyModelGeneratorBase
: ModelGeneratorFactoryBase< InterpretationT >
- MyModelGraph
: OnlineModelBuilder< EvalGraphT >
, OfflineModelBuilder< EvalGraphT >
, ModelBuilder< EvalGraphT >