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

- i -

• IandU : AssumptionBasedUnfoundedSetChecker
• ibuf : ProcessBuf
• id : DependencyGraph::NodeMappingInfo
• ID() : ID
• id : DependencyGraph::HeadBodyInfo , DependencyGraph::NodeInfo , DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey , DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
• id_array_ : bm::deseriaizer_base< DEC >
• id_cnt_ : bm::serial_stream_iterator< DEC >
• idb : Module , OrdinaryASPProgram , PlainModelGeneratorFactory , ProgramCtx , WellfoundedModelGeneratorFactory , FLPModelGeneratorFactoryBase , GenuinePlainModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , LiberalSafetyChecker
• idbList : ProgramCtx
• ident : DLVResultGrammar< Iterator >
• identifyBenignCycles() : DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker
• identifyInconsistencyCause() : GenuineGuessAndCheckModelGenerator
• IDIndex : DependencyGraph::HeadBodyHelper
• idx : bm::bvector< Alloc >::iterator_base::bitblock_descr
• ImmediateNogoodGrounder() : ImmediateNogoodGrounder
• imodel : OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
• Impl() : InputProvider::Impl , Registry::Impl
• inactivateNogood() : CDNLSolver
• inBody : DependencyGraph::HeadBodyInfo
• InBodyIndex : DependencyGraph::HeadBodyHelper
• includeFacts : ASPSolverManager::GenericOptions
• inconsistencyCause : GenuineGuessAndCheckModelGenerator
• increase : Set< T >
• indent : Logger
• index : SortElement< T >
• indexedEatoms : AnnotatedGroundProgram
• INFO : Logger
• infos : DependencyGraph::HeadBodyHelper
• inHead : DependencyGraph::HeadBodyInfo
• InHeadIndex : DependencyGraph::HeadBodyHelper
• inHeadOfDisjunctiveRules : DependencyGraph::HeadBodyInfo
• inHeadOfNondisjunctiveRules : DependencyGraph::HeadBodyInfo
• Init() : Logger::Init
• init_bitbuf() : bm::miniset< A, N >
• init_gapbuf() : bm::miniset< A, N >
• init_tree() : bm::blocks_manager< Alloc >
• initBuffers() : ProcessBuf
• initialize() : AnnotatedGroundProgram
• initializeExplanationAtoms() : GenuineGuessAndCheckModelGenerator
• initializeHeuristics() : GenuineGuessAndCheckModelGenerator
• initializeInconsistencyAnalysis() : GenuineGuessAndCheckModelGenerator
• initializeLists() : InternalGroundASPSolver
• initializeUnfoundedSetCheckers() : UnfoundedSetCheckerManager
• initializeVerificationWatchLists() : GenuineGuessAndCheckModelGenerator
• initListOfAllAtoms() : CDNLSolver
• initSourcePointers() : InternalGroundASPSolver
• initWatchingStructures() : CDNLSolver
• inlineExternalAtoms() : GenuineGuessAndCheckModelGenerator
• inNegBodyOfRules : DependencyGraph::HeadBodyInfo
• innerConstraints : ComponentGraph::ComponentInfo
• innerEatoms : ComponentGraph::ComponentInfo , FLPModelGeneratorFactoryBase , GenuineWellfoundedModelGeneratorFactory , WellfoundedModelGeneratorFactory
• innerEatomsNonmonotonic : ComponentGraph::ComponentInfo
• innerRules : ComponentGraph::ComponentInfo
• inPosBodyOfConstraints : DependencyGraph::HeadBodyInfo
• inPosBodyOfRegularRules : DependencyGraph::HeadBodyInfo
• input : ComfortPluginAtom::ComfortQuery , LiberalSafetyChecker::Attribute , ModelGeneratorBase< InterpretationT > , PluginAtom::Query , SimpleEvaluator , BaseModelGenerator::ExternalAnswerTupleCallback , BaseModelGenerator::ExternalAnswerTupleMultiCallback , BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , BaseModelGenerator::VerifyExternalAtomCB , BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
• inputList : LiberalSafetyChecker::Attribute , Module , Registry
• inputMask : ExternalAtom
• InputNogoodProviderConstPtr : ExternalLearningHelper
• inputprogram : InternalGrounder
• inputProvider : ProgramCtx
• InputProvider() : InputProvider
• inputs : ExternalAtom , ModuleAtom
• InputType : PluginAtom
• inputType : PluginAtom
• insert() : ComfortInterpretation , Nogood , Set< T > , OrderedSet< T, H >
• insert_iterator() : bm::bvector< Alloc >::insert_iterator
• insert_set_iterator() : insert_set_iterator< T >
• inserter() : bm::bvector< Alloc >
• Instance() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , Logger
• instantiatedNongroundNogoodsIndex : ImmediateNogoodGrounder
• instantiateUnfoundedSetChecker() : UnfoundedSetCheckerManager
• InstructionList : ManualEvalHeuristicsPlugin::CtxData
• instructions : ManualEvalHeuristicsPlugin::CtxData
• instrumentations : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• INT : ComfortTerm
• IntegrateExternalAnswerIntoInterpretationCB() : BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
• InternalGroundASPSolver() : InternalGroundASPSolver
• InternalGroundDASPSolver() : InternalGroundDASPSolver
• InternalGrounder() : InternalGrounder
• Interpretation : OnlineModelBuilder< EvalGraphT > , Interpretation
• interpretation : AnswerSet , CDNLSolver , ComfortPluginAtom::ComfortQuery , ModelBuilder< EvalGraphT >::ModelProperties , TestModelPropertyBase , PluginAtom::Query
• Interpretation : ModelBuilder< EvalGraphT > , ModelGeneratorBase< InterpretationT > , ModelGeneratorFactoryBase< InterpretationT > , EvalUnitModelGeneratorFactoryProperties< InterpretationT >
• InterpretationConstPtr : ModelGeneratorBase< InterpretationT > , ModelGeneratorFactoryBase< InterpretationT >
• InterpretationPtr : ModelGeneratorBase< InterpretationT > , OnlineModelBuilder< EvalGraphT > , ModelBuilder< EvalGraphT >
• interpretationShadow : AssumptionBasedUnfoundedSetChecker
• interpretProperties() : ExtSourceProperties
• intersect() : CDNLSolver , InternalGroundASPSolver
• intersectsWithNonHCFDisjunctiveRules : UnfoundedSetCheckerManager
• intval : ComfortTerm
• invalidate() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController , bm::bvector< Alloc >::iterator_base
• invert() : bm::bvector< Alloc >
• ipipe : DLVProcess
• iproject : EvalUnitProjectionProperties
• is_bit_true() : bm::bvector_mini< A >
• is_block_gap() : bm::blocks_manager< Alloc >
• is_block_one() : bm::blocks_manager< Alloc >
• is_block_zero() : bm::blocks_manager< Alloc >
• is_eof() : bm::serial_stream_iterator< DEC >
• is_subblock_null() : bm::blocks_manager< Alloc >
• isAggregateAtom() : ID
• isAnon() : ComfortTerm
• isAnonymousVariable() : ID
• isAntimonotonic() : ExtSourceProperties
• isAtom() : ID
• isAtomDerivable() : InternalGrounder
• isAuxiliary() : ID
• isBuiltinAtom() : ID
• isBuiltinTerm() : ID
• isClear() : Interpretation
• isCompatibleSet() : FLPModelGeneratorBase
• isConstant() : ComfortTerm
• isConstantTerm() : ID
• isConstraint() : ID
• isDecisionLiteral() : CDNLSolver
• isDomainExpansionSafe() : LiberalSafetyChecker
• isEAAuxInputRule() : Rule
• isEAGuessingRule() : Rule
• isExternalAtom() : ID
• isExternalAtomNecessaryForDomainExpansionSafety() : LiberalSafetyChecker
• isExternalAuxiliary() : ID
• isExternalInputAuxiliary() : ID
• isFLPAuxiliary() : ID
• isFunctional() : ExtSourceProperties
• IsFunctionTermAtom() : IsFunctionTermAtom
• isGround() : Nogood
• isGroundRule() : InternalGrounder
• isGuardAuxiliary() : ID
• isHiddenAtom() : ID
• isIndependentOfPredicateParameterName() : ExtSourceProperties
• isInteger() : ComfortTerm
• isIntegerTerm() : ID
• isLinearOnAtomLevel() : ExtSourceProperties
• isLinearOnTupleLevel() : ExtSourceProperties
• isLiteral() : ID
• isModel() : GenuineGuessAndCheckModelGenerator
• isModuleAtom() : ID
• isMonotonic() : ExtSourceProperties
• isNaf() : ID
• isNegativeExternalAtomAuxiliaryAtom() : Registry
• isNestedTerm() : ID , Term
• isNewlySafe() : LiberalSafetyChecker
• isNonmonotonic() : ExtSourceProperties
• isNullTerm() : Registry
• isOrdinaryAtom() : ID
• isOrdinaryGroundAtom() : ID
• isOrdinaryNongroundAtom() : ID
• isPositiveExternalAtomAuxiliaryAtom() : Registry
• isPredicateGrounded() : InternalGrounder
• isPredicateSolved() : InternalGrounder
• isPredicateTerm() : ID
• isQuotedString() : Term
• isRangeTerm() : ID
• isRegularRule() : ID
• isRule() : ID
• isRuleDisjunctive() : ID
• isStrongNegated() : ComfortAtom
• isSubsetMinimalFLPModel() : FLPModelGeneratorBase
• isTerm() : ID
• isUnfoundedSet() : UnfoundedSetChecker
• isVariable() : ComfortTerm
• isVariableTerm() : ID
• isWeakConstraint() : ID
• isWeightRule() : ID
• iterator : Set< T >
• iterator_base : bm::bvector< Alloc > , bm::bvector< Alloc >::iterator_base
• iterator_category : bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::counted_enumerator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::counted_enumerator
• iterator_state : bm::serial_stream_iterator< DEC >
• IterCountMap : CounterVerification< EvalGraphT >