- d -

• data : Minisat::Clause , Minisat::Map< K, D, H, E >::Pair , Minisat::vec< T > , smtrat::cad::debug::TikzDAGPrinter::Node , smtrat::cadcells::representation::util::PolyDelineations
• db : smtrat::covering_ng::formula::formula_ds::FormulaGraph
• debugEnabled : smtrat::LOG
• debugProjection : smtrat::NewCADBaseSettings
• debugStepsToTikz : smtrat::NewCADBaseSettings
• dec_vars : smtrat::SATModule< Settings >
• decidedVariables : smtrat::mcsat::TheoryLevel
• decimal : smtrat::parser::ScriptParser< Callee > , smtrat::parser::SpecConstantParser
• decision : smtrat::SATModule< Settings >
• decisionLiteral : smtrat::mcsat::TheoryLevel
• decisions : smtrat::SATModule< Settings >
• declared_functions : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope
• default_splitting_size_nia : smtrat::ICPSettings1 , smtrat::ICPSettings2
• default_splitting_size_nra : smtrat::ICPSettings1
• defined_functions : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope
• defined_indexed_functions : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope
• defined_user_functions : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope
• definition : smtrat::parser::UserFunctionInstantiator
• deg : smtrat::mcsat::onecellcad::TagPoly
• degree_max : smtrat::analyzer::DegreeCollector
• degree_sum : smtrat::analyzer::DegreeCollector
• deleted : Minisat::OccLists< Idx, Vec, Deleted >
• deletePolynomials : smtrat::NewCADSettingsEQ_B , smtrat::NewCADSettingsEQ_BD , smtrat::NewCADSettingsEQ_BR , smtrat::NewCADSettingsEQ_BRD , smtrat::NewCADSettingsEQ_BRI , smtrat::NewCADSettingsEQ_BRID , smtrat::NewCADSettingsEQ_BS , smtrat::NewCADSettingsEQ_BSD , smtrat::NewCADSettingsEQ_BSI , smtrat::NewCADSettingsEQ_BSID , smtrat::NewCADSettingsEQ_R , smtrat::NewCADSettingsEQ_RD , smtrat::NewCADSettingsEQ_RI , smtrat::NewCADSettingsEQ_RID , smtrat::NewCADSettingsEQ_S , smtrat::NewCADSettingsEQ_SD , smtrat::NewCADSettingsEQ_SI , smtrat::NewCADSettingsEQ_SID
• delineated_roots : smtrat::cadcells::representation::util::PolyDelineation
• delineation_function : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::internal::OpSettings
• delineators : smtrat::mcsat::onecellcad::recursive::RecursiveCAD
• depth : smtrat::cad::debug::TikzTreePrinter::UnifiedNode
• derivation : smtrat::cadcells::datastructures::CellRepresentation< P >
• derivatives : smtrat::cadcells::datastructures::detail::PolyProperties
• description : Minisat::Option , smtrat::cadcells::datastructures::CellRepresentation< P >
• dirties : Minisat::OccLists< Idx, Vec, Deleted >
• dirty : Minisat::OccLists< Idx, Vec, Deleted >
• disable_resultants : smtrat::cad::CADPreprocessorSettings , smtrat::cad::PreprocessorSettings
• disable_theory : smtrat::parser::ParserSettings
• disable_uf_flattening : smtrat::parser::ParserSettings
• disable_variable_elimination : smtrat::cad::CADPreprocessorSettings , smtrat::cad::PreprocessorSettings
• disc : smtrat::cadcells::datastructures::detail::PolyProperties
• discrDenom : smtrat::CSplitSettings1
• dotFilename : smtrat::ICESettings1
• downwards_propagation : smtrat::covering_ng::formula::formula_ds::FormulaGraph
• driver : benchmax::DBAL
• dummy : smtrat::cad::CADPreprocessorSettings , smtrat::cad::PreprocessorSettings
• dumpAsDot : smtrat::ICESettings1