Here is a list of all class members with links to the classes they belong to:

- d -

• d : Clasp::Test::ClauseCreatorTest , Clasp::Test::DefaultMinimizeTest , Clasp::Test::WeightConstraintTest
• data : Clasp::SharedDependencyGraph::Node , Clasp::mt::Detail::Node< T > , Clasp::ReasonStore64::value_type , Clasp::Assignment , Clasp::WeightConstraint::UndoInfo , Clasp::ClauseHead::Info , Clasp::DefaultMinimize::UndoInfo , Clasp::Test::DefaultMinimizeTest , Clasp::GenericWatch , Clasp::Test::UncoreMinimizeTest , Clasp::ReasonStore32 , Clasp::DefaultUnfoundedCheck::ExtWatch , Clasp::ReasonStore32::value_type , Clasp::ReasonStore64
• data_ : Clasp::Antecedent , Clasp::Asp::PrgHead , Clasp::Asp::PrgBody , Clasp::SatPreprocessor::Clause , Clasp::ClauseHead , Clasp::ReasonStore64
• data_type : Clasp::SymbolTable
• dataResize() : Clasp::ReasonStore32 , Clasp::ReasonStore64
• dataSize() : Clasp::ReasonStore32 , Clasp::ReasonStore64
• 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
• DBRef : Clasp::Solver
• dec : Clasp::ClaspBerkmin::HScore
• decay : Clasp::ClaspBerkmin::Order , Clasp::ClaspBerkmin::HScore
• decay_ : Clasp::ClaspVmtf::VarInfo , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType >
• decayedScore() : Clasp::ClaspBerkmin::Order
• decideNextBranch() : Clasp::Solver
• decision() : Clasp::Solver
• DecisionHeuristic() : Clasp::DecisionHeuristic
• decisionLevel() : Clasp::Solver
• DecisionLevels() : Clasp::Solver::DecisionLevels
• decode() : Clasp::ReasonStore32
• decrease() : bk_lib::indexed_priority_queue< Cmp >
• decreaseActivity() : Clasp::LoopFormula , Clasp::LearntConstraint , Clasp::ClauseHead
• def() : Clasp::ScheduleStrategy
• def_value : Clasp::ValueSet
• defaulted() : Clasp::ScheduleStrategy
• defaultLiteral() : Clasp::DecisionHeuristic
• DefaultLparseParser() : Clasp::DefaultLparseParser
• DefaultMinimize() : Clasp::DefaultMinimize
• DefaultMinimizeTest() : Clasp::Test::DefaultMinimizeTest
• defaultPortfolio() : Clasp::BasicSolveOptions
• defaults() : ProgramOptions::OptionContext
• defaultsTo() : ProgramOptions::Value
• DefaultUnfoundedCheck() : Clasp::DefaultUnfoundedCheck
• deleted : Clasp::Test::TestingConstraint
• deleteOnProp : Clasp::Test::TestingPostProp
• deleter_ : Clasp::mt::MultiQueue< T, Deleter >
• delta() : Clasp::SharedDependencyGraph::BodyNode
• dep_all : Clasp::Asp::PrgAtom
• dep_iterator : Clasp::Asp::PrgAtom
• dep_neg : Clasp::Asp::PrgAtom
• dep_pos : Clasp::Asp::PrgAtom
• Dependency : Clasp::Asp::PrgAtom
• DependencyGraph : Clasp::DefaultUnfoundedCheck
• DependencyGraphTest() : Clasp::Test::DependencyGraphTest
• deps : Clasp::ScoreLook
• deps_ : Clasp::Asp::PrgAtom
• deps_begin() : Clasp::Asp::PrgAtom
• deps_end() : Clasp::Asp::PrgAtom
• depthFirst() : Clasp::Asp::LogicProgram::AspOptions
• desc() : ProgramOptions::Value
• desc_ : ProgramOptions::Value
• desc_default : ProgramOptions::Value
• desc_implicit : ProgramOptions::Value
• desc_name : ProgramOptions::Value
• desc_pack : ProgramOptions::Value
• descFlag_ : ProgramOptions::Value
• descLevel() : ProgramOptions::Option , ProgramOptions::OptionGroup
• descLevel_ : ProgramOptions::OptionContext
• description() : ProgramOptions::Option , ProgramOptions::OptionContext
• description_ : ProgramOptions::Option
• DescType : ProgramOptions::Value
• destroy() : Clasp::SharedLiterals , Clasp::Clause , Clasp::LoopFormula , Clasp::mt::SharedLitsClause , Clasp::Constraint , Clasp::EnumerationConstraint , Clasp::Asp::PrgBody , Clasp::Asp::PrgBody::SumExtra , Clasp::Asp::PrgDisj , Clasp::Lookahead , Clasp::SharedMinimizeData , Clasp::MinimizeConstraint , Clasp::DefaultMinimize , Clasp::UncoreMinimize , Clasp::SatPreprocessor::Clause , Clasp::SumQueue , Clasp::WeightConstraint , Clasp::CBConsequences::CBFinder , Clasp::DomainHeuristic::DomMinimize , Clasp::ModelEnumerator::ModelFinder , Clasp::Test::TestingConstraint , detail::VTable< T > , detail::OptVTable< T > , ProgramOptions::detail::VTable< T > , ProgramOptions::detail::OptVTable< T >
• destroyClause() : Clasp::SatPreprocessor
• destruct() : Clasp::PodVector< Type >
• detach() : Clasp::Clause , Clasp::DomainHeuristic , Clasp::Asp::PrgDisj , Clasp::UncoreMinimize , Clasp::SatElite::SatElite , Clasp::SharedContext , Clasp::ClauseHead , Clasp::SequentialSolve::InterruptHandler , Clasp::Cli::WriteLemmas
• detect_strategy_flag : Clasp::ModelEnumerator
• detectFormat() : Clasp::Input_t
• detectStrategy() : Clasp::ModelEnumerator
• dfOrder : Clasp::Asp::LogicProgram::AspOptions
• dfs_ : Clasp::Asp::Preprocessor
• dfsStack : Clasp::CCMinRecursive
• DfsState : Clasp::CCMinRecursive
• DG : Clasp::Test::DependencyGraphTest , Clasp::Test::DlpBuilderTest , Clasp::Test::LogicProgramTest
• diff() : Clasp::ProblemStats
• DIMACS : Clasp::Problem_t
• DimacsParser() : Clasp::DimacsParser
• dirty : Clasp::SatElite::SatElite::OccurList
• dirty_ : Clasp::Asp::PrgHead
• disable() : Clasp::Solver::PPList , Clasp::RestartParams , Clasp::ReduceParams
• disableBce() : Clasp::SatPreParams
• disabled() : Clasp::ScheduleStrategy
• disableGamma() : Clasp::Asp::LogicProgram::AspOptions
• discardClauses() : Clasp::SatPreprocessor
• discardProblem() : Clasp::ClaspFacade
• DISJ : Clasp::VarInfo
• disj_begin() : Clasp::Asp::LogicProgram
• disj_end() : Clasp::Asp::LogicProgram
• disj_flag : Clasp::Asp::RuleState
• DISJ_NODE : Clasp::Asp::PrgEdge
• disjIndex_ : Clasp::Asp::LogicProgram
• disjointPath() : Clasp::EnumerationConstraint
• disjunctions_ : Clasp::Asp::LogicProgram
• dispatch() : Clasp::EventHandler
• dispose() : Clasp::Asp::LogicProgram
• disposeMin() : Clasp::ProgramBuilder
• disposeMinimizeConstraint() : Clasp::ProgramBuilder
• distinct_reason : Clasp::DefaultUnfoundedCheck
• distRatio() : Clasp::ExtendedStats
• distribute() : Clasp::Solver
• Distributor() : Clasp::Distributor
• distributor : Clasp::SharedContext
• DistrPtr : Clasp::SharedContext
• dl : Clasp::DomainHeuristic::Frame
• DLevel() : Clasp::Solver::DLevel
• doCleanUp() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doCommitModel() : Clasp::ModelEnumerator::RecordFinder , Clasp::EnumerationConstraint , Clasp::ModelEnumerator::BacktrackFinder , Clasp::CBConsequences::CBFinder
• doEndProgram() : Clasp::Asp::LogicProgram , Clasp::SatBuilder , Clasp::ProgramBuilder , Clasp::PBBuilder
• doExtendModel() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doGetAssumptions() : Clasp::Asp::LogicProgram , Clasp::ProgramBuilder , Clasp::PBBuilder , Clasp::SatBuilder
• doInit() : Clasp::Enumerator , Clasp::CBConsequences , Clasp::ModelEnumerator
• doInterrupt() : Clasp::SequentialSolve , Clasp::SolveAlgorithm
• DomainHeuristic() : Clasp::DomainHeuristic
• domEnd_s : Clasp::DomainHeuristic
• DomEntry() : Clasp::DomainHeuristic::DomEntry
• domKey : Clasp::DomScore
• domKey_s : Clasp::DomainHeuristic
• DomMinimize() : Clasp::DomainHeuristic::DomMinimize
• domMod : Clasp::SolverParams
• domPref : Clasp::SolverParams
• DomScore() : Clasp::DomScore
• doParse() : ProgramOptions::NotifiedValue< T > , ProgramOptions::StoredValue< T > , ProgramOptions::OptionParser , ProgramOptions::CustomValue , Clasp::StreamParser , Clasp::ProgramBuilder , Clasp::SatBuilder , Clasp::PBBuilder , ProgramOptions::Value , Clasp::LparseParser , Clasp::DimacsParser , Clasp::Asp::LogicProgram , Clasp::OPBParser , Clasp::Cli::ClaspCliConfig::ProgOption
• doPreprocess() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doPrint() : Clasp::Cli::Output
• doReset() : Clasp::Enumerator
• doSelect() : Clasp::ClaspVsids_t< ScoreType > , Clasp::Restricted , Clasp::DomainHeuristic , Clasp::UnitHeuristic , Clasp::SelectFirst , Clasp::ClaspVmtf , Clasp::Test::ClauseObserver , Clasp::ClaspBerkmin , Clasp::DecisionHeuristic
• doSolve() : Clasp::SolveAlgorithm , Clasp::ClaspFacade::SolveStrategy , Clasp::SequentialSolve
• doStartProgram() : Clasp::PBBuilder , Clasp::ProgramBuilder , Clasp::SatBuilder , Clasp::Asp::LogicProgram
• doType() : Clasp::ProgramBuilder , Clasp::Asp::LogicProgram , Clasp::SatBuilder , Clasp::PBBuilder
• doUpdate() : Clasp::EnumerationConstraint , Clasp::ModelEnumerator::RecordFinder , Clasp::CBConsequences::CBFinder , Clasp::ModelEnumerator::BacktrackFinder
• doUpdateProgram() : Clasp::Asp::LogicProgram , Clasp::ProgramBuilder , Clasp::PBBuilder , Clasp::SatBuilder
• doVisit() : Clasp::Asp::SccChecker
• dPrios_ : Clasp::DomainHeuristic
• drand() : Clasp::RNG
• dropLearnt : Clasp::SolverParams
• duplicate_option : ProgramOptions::ContextError
• DuplicateOption() : ProgramOptions::DuplicateOption
• dupName() : Clasp::SymbolTable
• dynamic : Clasp::SearchLimits , Clasp::RestartParams
• dynamicRestarts() : Clasp::SumQueue
• dynRestart : Clasp::RestartParams