- d -

• data : Set< T >
• DBG : Logger
• decisionlevel : CDNLSolver
• decisionLiteralOfDecisionLevel : CDNLSolver
• decoder_ : bm::decoder_range_adapter< DEC > , bm::serial_stream_iterator< DEC >
• defaultAuxPrinter : Registry::Impl
• defaultExternalAtomEvalHeuristics : GenuineGuessAndCheckModelGenerator
• defaultExternalAtomEvaluationHeuristicsFactory : ProgramCtx
• deidb : FLPModelGeneratorFactoryBase , GenuineWellfoundedModelGeneratorFactory
• deidbInnerEatoms : FLPModelGeneratorFactoryBase , GenuineWellfoundedModelGeneratorFactory
• density : RandomTopology
• depEdges : ComponentGraph::DependencyInfo
• dependencyIDB : AnnotatedGroundProgram
• depgraph : ProgramCtx , GenericDepGraphFixture< ProgramCtxFixtureT >
• depGraph : AnnotatedGroundProgram , InternalGroundASPSolver , InternalGrounder
• depNodes : AnnotatedGroundProgram , InternalGroundASPSolver , InternalGrounder
• depSCC : InternalGrounder , AnnotatedGroundProgram , InternalGroundASPSolver , LiberalSafetyChecker
• deq : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• derivableAtomsOfPredicate : InternalGrounder
• dest_ : bm::bit_out< TEncoder >
• destination : NogoodGrounder
• dg : ComponentGraph , DependencyGraph
• dgap_buf_ : bm::d_copy_func< T >
• disjunctive : DependencyGraph::DependencyInfo
• disjunctiveHeads : ComponentGraph::ComponentInfo
• distance_ : bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
• dlvline : DLVResultGrammar< Iterator >
• domain : UnfoundedSetChecker
• domainExpansionSafeAttributes : LiberalSafetyChecker
• donotmark : CAUAlgorithms::RelevanceMarkingVisitor< Graph >
• dorun : DLVHEX_NAMESPACE_BEGIN::FinitenessChecker
• dropPredicates : ParserState
• dummy : ModelBuilder< EvalGraphT >::ModelProperties
• dummyi1 : ModelGraphE2M2Fixture
• duration : benchmark::nestingAware::NestingAwareController::Stat , benchmark::simple::BenchmarkController::Stat