Here is a list of all struct and union fields with links to the structures/unions they belong to:

- a -

• aatoms : Registry
• AbovePluginAtom() : AbovePluginAtom
• accum_ : bm::bit_in< TDecoder > , bm::bit_out< TEncoder >
• activeInnerEatoms : GenuineGuessAndCheckModelGenerator
• actualModuleName : ModuleAtom
• add() : Interpretation , TestInterpretation , PreparedResults
• add_bit_block() : bm::bv_statistics
• add_gap_block() : bm::bv_statistics
• addAllResolvents() : SimpleNogoodContainer
• addAntimonotonicInputPredicate() : ExtSourceProperties
• addBoundedVariable() : LiberalSafetyChecker
• addCount : NogoodSet
• addCSVFileInput() : InputProvider
• addDependency() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
• addDerivableAtom() : InternalGrounder
• addDomainExpansionSafeAttribute() : LiberalSafetyChecker
• addDomainPredicatesAndCreateDomainExplorationProgram() : BaseModelGeneratorFactory
• adder : ParserState
• addExternallyBoundedVariable() : LiberalSafetyChecker
• addFileInput() : InputProvider
• addFilter() : Configuration
• addFiniteOutputDomain() : ExtSourceProperties
• addInconsistencyCauseFromSuccessor() : ModelGeneratorFactoryBase< InterpretationT > , GenuineGuessAndCheckModelGeneratorFactory
• addInputConstant() : PluginAtom
• addInputPredicate() : PluginAtom
• addInputTuple() : PluginAtom
• addInternalPlugin() : PluginContainer
• addModel() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• addMonotonicInputPredicate() : ExtSourceProperties
• addNogood() : CDNLSolver , ExternalAtomVerificationTree , DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT > , DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > , GenuineGuessAndCheckModelGenerator , GenuineSolver , ModelGeneratorBase< InterpretationT > , NogoodSet , NogoodContainer , SimpleNogoodContainer
• addNogoodAndUpdateWatchingStructures() : CDNLSolver
• addNogoodSet() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver
• addObserver() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• addOption() : DLVProcess , Process
• addOutputAtoms() : ExternalAtomMask
• addPluginAtom() : ProgramCtx
• addPluginAtomsFromPluginContainer() : ProgramCtx
• addPredicate() : PredicateMask
• addPredicateParameterNameIndependence() : ExtSourceProperties
• addProgram() : AnnotatedGroundProgram , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver
• addPropagator() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver
• addRelativeFiniteOutputDomain() : ExtSourceProperties
• address : ID
• AddressIndex : AggregateAtomTable , BuiltinAtomTable , ExternalAtomTable , ModuleAtomTable , ModuleTable , OrdinaryAtomTable , PredicateTable , RuleTable , TermTable
• AddressIterator : ModuleAtomTable , ModuleTable , OrdinaryAtomTable , PredicateTable , RuleTable
• addShadowInterpretation() : FLPModelGeneratorBase
• addSourceToAtom() : InternalGroundASPSolver
• addStreamInput() : InputProvider
• addStringInput() : InputProvider
• addUnit() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
• addWellorderingNatural() : ExtSourceProperties
• addWellorderingStrlen() : ExtSourceProperties
• advanceOModelForIModel() : OnlineModelBuilder< EvalGraphT >
• ag : LiberalSafetyChecker
• AggregateAndBuildinChecker() : DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
• AggregateAtom() : AggregateAtom
• aggregateAtom : HexGrammarBase< Iterator, Skipper >
• AggregatePlugin() : AggregatePlugin
• aggregateTerm : HexGrammarBase< Iterator, Skipper >
• agp : NogoodGrounder , UnfoundedSetChecker , UnfoundedSetCheckerManager
• ALL_ONES : ID
• all_set_block() : bm::all_set< T >::all_set_block
• allAtoms : CDNLSolver
• allmodels : WeakConstraintPlugin::CtxData
• allmonotonic : PluginAtom
• alloc_ : bm::blocks_manager< Alloc > , bm::serializer< BV >
• alloc_bit_block() : bm::mem_alloc< BA, PA > , bm::blocks_manager< Alloc > , bm::mem_alloc< BA, PA > , bm::blocks_manager< Alloc >
• alloc_gap_block() : bm::mem_alloc< BA, PA >
• alloc_ptr() : bm::mem_alloc< BA, PA >
• allocate() : bm::bit_block_guard< BlocksManager > , bm::block_allocator , bm::ptr_allocator , bm::bit_block_guard< BlocksManager > , bm::ptr_allocator , bm::block_allocator
• allocate_gap_block() : bm::blocks_manager< Alloc >
• allocate_tempblock() : bm::bvector< Alloc >
• allocator_type : bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::serializer< BV > , bm::bvector< Alloc > , bm::blocks_manager< Alloc > , bm::serializer< BV > , bm::deserializer< BV, DEC >
• allocSize : Set< T >
• allowsForVerificationUsingCompleteSupportSets() : AnnotatedGroundProgram
• allWitnesses : QueryPlugin::CtxData
• alreadyCompared : LazyNogoodGrounder
• analysis() : CDNLSolver
• analysissolver : GenuineGuessAndCheckModelGenerator
• ANALYZE : Logger
• analyzeTerm() : Term
• AncestryMarkingVisitor() : CAUAlgorithms::AncestryMarkingVisitor< Graph >
• and_bit_no_check() : bm::bvector< Alloc >
• AnnotatedGroundProgram() : AnnotatedGroundProgram
• annotatedGroundProgram : FLPModelGeneratorBase
• AnnotatedGroundProgram() : AnnotatedGroundProgram
• Answer() : PluginAtom::Answer
• answerQuery() : TestASPQueryAtom , TestCautiousQueryAtom , TestBraveQueryAtom
• AnswerSet() : AnswerSet
• answerset : AnswerSetQueueElement , DLVResultGrammar< Iterator >
• AnswerSet() : AnswerSet
• AnswerSetAdder : DLVResultParser
• AnswerSetPrinterCallback() : AnswerSetPrinterCallback
• AnswerSetQueueElement() : AnswerSetQueueElement
• answersets : ProgramCtx::SubprogramAnswerSetCallback , PreparedResults
• antimonotonicInputPredicates : ExtSourceProperties
• any() : bm::bvector< Alloc >
• apm : CAUAlgorithms::RelevanceMarkingVisitor< Graph > , CAUAlgorithms::AncestryMarkingVisitor< Graph >
• AppDir : InternalGrounder
• applyIntFunction() : InternalGrounder
• applySubstitutionToAtom() : InternalGrounder
• applySubstitutionToBuiltinAtom() : InternalGrounder
• applySubstitutionToOrdinaryAtom() : InternalGrounder
• applyVariableSubstitution() : Nogood
• argIndex : LiberalSafetyChecker::Attribute
• arguments : ASPSolver::DLVSoftware::Options , Term
• argv : DLVProcess
• arities : HigherOrderPlugin::CtxData
• arity : Predicate , FunctionDecomposeAtom
• AritySet : HigherOrderPlugin::CtxData
• arr_ : bm::blocks_manager< Alloc >::block_count_arr_func
• ASMOrdinaryASPSolver() : DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• aspsoftware : ProgramCtx
• ASPSolverManager() : ASPSolverManager
• assign() : PluginAtom::Query
• assigned : PluginAtom::Query , CDNLSolver
• assignedAndVerifiedAtomsInRule : UnfoundedSetCheckHeuristics
• assignedAtoms : CDNLSolver
• assignmentOrder : CDNLSolver
• associateExtAtomsWithPluginAtoms() : ProgramCtx
• AssumptionBasedUnfoundedSetChecker() : AssumptionBasedUnfoundedSetChecker , BaseModelGenerator , AssumptionBasedUnfoundedSetChecker
• at : LiberalSafetyChecker::NodeMappingInfo
• Atom() : Atom
• atomcnt : AssumptionBasedUnfoundedSetChecker
• atomFromLiteral() : ID
• atomlevellinear : ExtSourceProperties
• AtomLocation : LiberalSafetyChecker
• atoms : TestInterpretation
• atomsInRule : UnfoundedSetCheckHeuristics
• atomToString() : InternalGrounder
• attach() : bm::bit_block_guard< BlocksManager >
• attributeOccursIn : LiberalSafetyChecker
• attributesOfPredicate : LiberalSafetyChecker
• attributesSafeByAttribute : LiberalSafetyChecker
• attributesSafeByVariable : LiberalSafetyChecker
• auxGroundAtomMask : Registry::Impl
• auxiliariesToVerify : UnfoundedSetChecker::UnfoundedSetVerificationStatus
• AuxiliaryKey() : DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
• AuxiliaryValue() : DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
• auxIndexToRemainingExternalAtoms : UnfoundedSetChecker::UnfoundedSetVerificationStatus
• auxInputMapping : ExternalAtom
• AuxInputMapping : ExternalAtom
• auxInputMask : ExternalAtomMask , ExternalAtom
• auxInputPredicate : ExternalAtom
• auxPrinters : Registry::Impl
• auxRules : GenericDepGraphFixture< ProgramCtxFixtureT >
• auxSymbols : Registry::Impl
• auxToEA : AnnotatedGroundProgram
• AuxToExternalAtoms : AnnotatedGroundProgram