- d -

• d : Clasp::Test::ClauseCreatorTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::WeightConstraintTest
• data : Clasp::SharedDependencyGraph::Node , Clasp::mt::Detail::Node< T > , Clasp::WeightConstraint::UndoInfo , Clasp::ClauseHead::Info , Clasp::DefaultMinimize::UndoInfo , Clasp::Test::DefaultMinimizeTest , Clasp::GenericWatch , Clasp::Test::UncoreMinimizeTest , Clasp::DefaultUnfoundedCheck::ExtWatch
• data_ : Clasp::SatPreprocessor::Clause , Clasp::ClauseHead , Clasp::ReasonStore64 , Clasp::Antecedent , Clasp::Asp::PrgHead , Clasp::Asp::PrgBody
• db : Clasp::Solver::CmpScore
• dbGrowNext : Clasp::BasicSolve::State
• dbHigh : Clasp::BasicSolve::State
• dbIdx_ : Clasp::Solver
• dbMax : Clasp::BasicSolve::State
• dbPinned : Clasp::BasicSolve::State
• dbRed : Clasp::BasicSolve::State
• dbRedInit : Clasp::BasicSolve::State
• dec : Clasp::ClaspBerkmin::HScore
• decay : Clasp::ClaspBerkmin::Order
• decay_ : Clasp::ClaspVmtf::VarInfo , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType >
• deleted : Clasp::Test::TestingConstraint
• deleteOnProp : Clasp::Test::TestingPostProp
• deleter_ : Clasp::mt::MultiQueue< T, Deleter >
• deps : Clasp::ScoreLook
• deps_ : Clasp::Asp::PrgAtom
• desc_ : ProgramOptions::Value
• descFlag_ : ProgramOptions::Value
• descLevel_ : ProgramOptions::OptionContext
• description_ : ProgramOptions::Option
• dfOrder : Clasp::Asp::LogicProgram::AspOptions
• dfs_ : Clasp::Asp::Preprocessor
• dfsStack : Clasp::CCMinRecursive
• dirty : Clasp::SatElite::SatElite::OccurList
• dirty_ : Clasp::Asp::PrgHead
• disj_flag : Clasp::Asp::RuleState
• disjIndex_ : Clasp::Asp::LogicProgram
• disjunctions_ : Clasp::Asp::LogicProgram
• distributor : Clasp::SharedContext
• dl : Clasp::DomainHeuristic::Frame
• domEnd_s : Clasp::DomainHeuristic
• domKey : Clasp::DomScore
• domKey_s : Clasp::DomainHeuristic
• domMod : Clasp::SolverParams
• domPref : Clasp::SolverParams
• dPrios_ : Clasp::DomainHeuristic
• dropLearnt : Clasp::SolverParams
• dynamic : Clasp::SearchLimits
• dynRestart : Clasp::RestartParams