- d -

• data() : Clasp::ReasonStore32 , Clasp::ReasonStore32::value_type , Clasp::ReasonStore64::value_type , Clasp::Assignment , Clasp::ReasonStore64
• dataResize() : Clasp::ReasonStore32 , Clasp::ReasonStore64
• dataSize() : Clasp::ReasonStore32 , Clasp::ReasonStore64
• decay() : Clasp::ClaspBerkmin::HScore
• 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
• 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
• delta() : Clasp::SharedDependencyGraph::BodyNode
• DependencyGraphTest() : Clasp::Test::DependencyGraphTest
• deps_begin() : Clasp::Asp::PrgAtom
• deps_end() : Clasp::Asp::PrgAtom
• depthFirst() : Clasp::Asp::LogicProgram::AspOptions
• desc() : ProgramOptions::Value
• descLevel() : ProgramOptions::Option , ProgramOptions::OptionGroup
• description() : ProgramOptions::Option , ProgramOptions::OptionContext
• destroy() : Clasp::DomainHeuristic::DomMinimize , Clasp::ModelEnumerator::ModelFinder , Clasp::Test::TestingConstraint , detail::VTable< T > , detail::OptVTable< T > , ProgramOptions::detail::VTable< T > , ProgramOptions::detail::OptVTable< T > , 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
• destroyClause() : Clasp::SatPreprocessor
• destruct() : Clasp::PodVector< Type >
• detach() : Clasp::Cli::WriteLemmas , Clasp::Clause , Clasp::DomainHeuristic , Clasp::Asp::PrgDisj , Clasp::UncoreMinimize , Clasp::SatElite::SatElite , Clasp::SharedContext , Clasp::ClauseHead , Clasp::SequentialSolve::InterruptHandler
• detectFormat() : Clasp::Input_t
• detectStrategy() : Clasp::ModelEnumerator
• diff() : Clasp::ProblemStats
• DimacsParser() : Clasp::DimacsParser
• 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_begin() : Clasp::Asp::LogicProgram
• disj_end() : Clasp::Asp::LogicProgram
• disjointPath() : Clasp::EnumerationConstraint
• dispatch() : Clasp::EventHandler
• dispose() : Clasp::Asp::LogicProgram
• disposeMin() : Clasp::ProgramBuilder
• disposeMinimizeConstraint() : Clasp::ProgramBuilder
• distRatio() : Clasp::ExtendedStats
• distribute() : Clasp::Solver
• Distributor() : Clasp::Distributor
• DLevel() : Clasp::Solver::DLevel
• doCleanUp() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doCommitModel() : Clasp::ModelEnumerator::RecordFinder , Clasp::EnumerationConstraint , Clasp::CBConsequences::CBFinder , Clasp::ModelEnumerator::BacktrackFinder
• doEndProgram() : Clasp::Asp::LogicProgram , Clasp::ProgramBuilder , Clasp::SatBuilder , Clasp::PBBuilder
• doExtendModel() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doGetAssumptions() : Clasp::SatBuilder , Clasp::ProgramBuilder , Clasp::PBBuilder , Clasp::Asp::LogicProgram
• doInit() : Clasp::ModelEnumerator , Clasp::Enumerator , Clasp::CBConsequences
• doInterrupt() : Clasp::SolveAlgorithm , Clasp::SequentialSolve
• DomainHeuristic() : Clasp::DomainHeuristic
• DomEntry() : Clasp::DomainHeuristic::DomEntry
• DomMinimize() : Clasp::DomainHeuristic::DomMinimize
• DomScore() : Clasp::DomScore
• doParse() : Clasp::Asp::LogicProgram , Clasp::DimacsParser , Clasp::OPBParser , Clasp::Cli::ClaspCliConfig::ProgOption , ProgramOptions::CustomValue , ProgramOptions::Value , ProgramOptions::NotifiedValue< T > , ProgramOptions::OptionParser , ProgramOptions::StoredValue< T > , Clasp::PBBuilder , Clasp::ProgramBuilder , Clasp::SatBuilder , Clasp::LparseParser , Clasp::StreamParser
• doPreprocess() : Clasp::SatElite::SatElite , Clasp::SatPreprocessor
• doPrint() : Clasp::Cli::Output
• doReset() : Clasp::Enumerator
• doSelect() : Clasp::UnitHeuristic , Clasp::ClaspBerkmin , Clasp::ClaspVsids_t< ScoreType > , Clasp::ClaspVmtf , Clasp::DomainHeuristic , Clasp::Restricted , Clasp::Test::ClauseObserver , Clasp::DecisionHeuristic , Clasp::SelectFirst
• doSolve() : Clasp::SequentialSolve , Clasp::SolveAlgorithm , Clasp::ClaspFacade::SolveStrategy
• doStartProgram() : Clasp::Asp::LogicProgram , Clasp::PBBuilder , Clasp::ProgramBuilder , Clasp::SatBuilder
• doType() : Clasp::Asp::LogicProgram , Clasp::ProgramBuilder , Clasp::SatBuilder , Clasp::PBBuilder
• doUpdate() : Clasp::ModelEnumerator::RecordFinder , Clasp::ModelEnumerator::BacktrackFinder , Clasp::CBConsequences::CBFinder , Clasp::EnumerationConstraint
• doUpdateProgram() : Clasp::Asp::LogicProgram , Clasp::PBBuilder , Clasp::ProgramBuilder , Clasp::SatBuilder
• doVisit() : Clasp::Asp::SccChecker
• drand() : Clasp::RNG
• DuplicateOption() : ProgramOptions::DuplicateOption
• dupName() : Clasp::SymbolTable
• dynamic() : Clasp::RestartParams
• dynamicRestarts() : Clasp::SumQueue