- a -

• aatoms : Registry
• accum_ : bm::bit_out< TEncoder > , bm::bit_in< TDecoder >
• activeInnerEatoms : GenuineGuessAndCheckModelGenerator
• actualModuleName : ModuleAtom
• addCount : NogoodSet
• adder : ParserState
• address : ID
• ag : LiberalSafetyChecker
• aggregateAtom : HexGrammarBase< Iterator, Skipper >
• aggregateTerm : HexGrammarBase< Iterator, Skipper >
• agp : NogoodGrounder , UnfoundedSetChecker , UnfoundedSetCheckerManager
• ALL_ONES : ID
• allAtoms : CDNLSolver
• allmodels : WeakConstraintPlugin::CtxData
• allmonotonic : PluginAtom
• alloc_ : bm::blocks_manager< Alloc > , bm::serializer< BV >
• allocSize : Set< T >
• allWitnesses : QueryPlugin::CtxData
• alreadyCompared : LazyNogoodGrounder
• analysissolver : GenuineGuessAndCheckModelGenerator
• ANALYZE : Logger
• annotatedGroundProgram : FLPModelGeneratorBase
• answerset : AnswerSetQueueElement , DLVResultGrammar< Iterator >
• answersets : PreparedResults , ProgramCtx::SubprogramAnswerSetCallback
• antimonotonicInputPredicates : ExtSourceProperties
• apm : CAUAlgorithms::AncestryMarkingVisitor< Graph > , CAUAlgorithms::RelevanceMarkingVisitor< Graph >
• argIndex : LiberalSafetyChecker::Attribute
• arguments : ASPSolver::DLVSoftware::Options , Term
• argv : DLVProcess
• arities : HigherOrderPlugin::CtxData
• arity : FunctionDecomposeAtom , Predicate
• arr_ : bm::blocks_manager< Alloc >::block_count_arr_func
• aspsoftware : ProgramCtx
• assigned : PluginAtom::Query
• assignedAndVerifiedAtomsInRule : UnfoundedSetCheckHeuristics
• assignedAtoms : CDNLSolver
• assignmentOrder : CDNLSolver
• at : LiberalSafetyChecker::NodeMappingInfo
• atomcnt : AssumptionBasedUnfoundedSetChecker
• atomlevellinear : ExtSourceProperties
• atoms : TestInterpretation
• atomsInRule : UnfoundedSetCheckHeuristics
• attributeOccursIn : LiberalSafetyChecker
• attributesOfPredicate : LiberalSafetyChecker
• attributesSafeByAttribute : LiberalSafetyChecker
• attributesSafeByVariable : LiberalSafetyChecker
• auxGroundAtomMask : Registry::Impl
• auxiliariesToVerify : UnfoundedSetChecker::UnfoundedSetVerificationStatus
• auxIndexToRemainingExternalAtoms : UnfoundedSetChecker::UnfoundedSetVerificationStatus
• auxInputMapping : ExternalAtom
• auxInputMask : ExternalAtomMask , ExternalAtom
• auxInputPredicate : ExternalAtom
• auxPrinters : Registry::Impl
• auxRules : GenericDepGraphFixture< ProgramCtxFixtureT >
• auxSymbols : Registry::Impl
• auxToEA : AnnotatedGroundProgram