- d -

• data() : benchmax::Results , smtrat::cad::debug::TikzTreePrinter::UnifiedNode , smtrat::cad::debug::UnifiedData , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::PurgedPolynomials , smtrat::cadcells::datastructures::IndexedRootOrdering , smtrat::PriorityQueue< T, Compare >
• deactivate() : smtrat::cad::Origin::BaseType , smtrat::cad::Origin , smtrat::vb::Bound< T >
• deactivateBasicVar() : smtrat::lra::Tableau< Settings, T1, T2 >
• deactivateBound() : smtrat::lra::Variable< T1, T2 >
• deactivateEC() : smtrat::cad::Origin
• deactivatePolynomials() : smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >
• debug() : Minisat::CMap< T >
• debugPrint() : smtrat::ICPModule< Settings >
• decidedByTheory() : smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >
• decisionLevel() : smtrat::mcsat::MCSATMixin< Settings > , smtrat::SATModule< Settings >
• declareConst() : smtrat::parser::SMTLIBParser
• declareFun() : smtrat::Executor< Strategy > , smtrat::parseformula::FormulaCollector , smtrat::parser::InstructionHandler , smtrat::parser::SMTLIBParser
• declareFunction() : smtrat::parser::Theories
• declareFunctionArgument() : smtrat::parser::Theories
• declareQuantifiedTerm() : smtrat::parser::AbstractTheory , smtrat::parser::ArithmeticTheory
• declareQuantifiedVariable() : smtrat::parser::TermParser
• declareSort() : smtrat::Executor< Strategy > , smtrat::parseformula::FormulaCollector , smtrat::parser::InstructionHandler , smtrat::parser::SMTLIBParser
• declareVariable() : smtrat::parser::AbstractTheory , smtrat::parser::ArithmeticTheory , smtrat::parser::BitvectorTheory , smtrat::parser::CoreTheory , smtrat::parser::Theories , smtrat::parser::UninterpretedTheory
• decodeBVConstant() : smtrat::IntBlastModule< Settings >
• decrease() : Minisat::Heap< Comp >
• decreaseActivity() : smtrat::VarSchedulerBase , smtrat::VarSchedulerMcsatActivityPreferTheory< vot > , smtrat::VarSchedulerMcsatBooleanFirst< vot > , smtrat::VarSchedulerMcsatTheoryFirst< TheoryScheduler > , smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities > , smtrat::VarSchedulerMcsatUnivariateConstraintsOnly< lookahead, vot > , smtrat::VarSchedulerMinisat , smtrat::VarSchedulerSMTTheoryGuided< theory_conflict_guided_decision_heuristic >
• decrementActivity() : smtrat::icp::IcpVariable
• decrementLearntSizeAdjustCnt() : smtrat::SATModule< Settings >
• decrementTseitinShadowOccurrences() : smtrat::SATModule< Settings >
• deduced() : smtrat::lra::Bound< T1, T2 >
• deducted() : smtrat::FormulaWithOrigins
• Default() : smtrat::Default
• defaultBoundPosition() : smtrat::lra::Tableau< Settings, T1, T2 >
• DefaultTwo() : smtrat::DefaultTwo
• defineFunction() : smtrat::parser::Theories
• defineSort() : smtrat::Executor< Strategy > , smtrat::parseformula::FormulaCollector , smtrat::parser::InstructionHandler
• degree() : smtrat::cadcells::datastructures::Projections
• deinform() : smtrat::Manager , smtrat::Module
• deinformCore() : smtrat::LRAModule< Settings > , smtrat::Module
• del() : smtrat::cadcells::representation::approximation::CellApproximator
• deleteConditions() : smtrat::vs::State
• deleteOrigins() : smtrat::vs::State
• deleteOriginsFromChildren() : smtrat::vs::State
• deleteOriginsFromConflictSets() : smtrat::vs::State
• deleteOriginsFromSubstitutionResults() : smtrat::vs::State
• deletePolynomials() : smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings >
• deleteTask() : smtrat::ThreadPool
• deleteVariable() : smtrat::lra::Tableau< Settings, T1, T2 >
• delin() : smtrat::cadcells::datastructures::DelineatedDerivation< Properties > , smtrat::cadcells::datastructures::SampledDerivation< Properties >
• delineate_cell() : smtrat::cadcells::datastructures::Delineation , smtrat::cadcells::datastructures::SampledDerivation< Properties >
• delineate_properties() : smtrat::cadcells::operators::Mccallum< Settings > , smtrat::cadcells::operators::MccallumFiltered< Settings > , smtrat::cadcells::operators::MccallumPdel
• delineated() : smtrat::cadcells::datastructures::DerivationRef< Properties > , smtrat::cadcells::datastructures::SampledDerivation< Properties >
• delineated_ref() : smtrat::cadcells::datastructures::DerivationRef< Properties >
• DelineatedDerivation() : smtrat::cadcells::datastructures::DelineatedDerivation< Properties >
• DelineationInterval() : smtrat::cadcells::datastructures::DelineationInterval
• delta_column() : smtrat::fmplex::FMplexElimination , smtrat::qe::fmplex::FMplexQE
• deltaPart() : smtrat::lra::Value< T >
• demangle() : smtrat::VariantMap< Key, Value >
• denom() : smtrat::lra::Numeric
• DerivationRef() : smtrat::cadcells::datastructures::DerivationRef< Properties >
• derivationVar() : smtrat::icp::ContractionCandidate
• derivative() : smtrat::cadcells::datastructures::Projections , smtrat::icp::ContractionCandidate
• destroy() : benchmax::ssh::SSHConnection
• detachClause() : smtrat::SATModule< Settings > , smtrat::VarSchedulerBase , smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >
• determine_smallest_origin() : smtrat::Module
• diagnostic() : smtrat::parser::InstructionHandler
• dim() : smtrat::cad::BaseProjection< Settings > , smtrat::cad::CAD< Settings > , smtrat::cad::LiftingTree< Settings > , smtrat::cad::ModelBasedProjection< Incrementality::NONE, Backtracking::ORDERED, Settings > , smtrat::cad::Projection< Incrementality::FULL, Backtracking::HIDE, Settings > , smtrat::cad::Projection< Incrementality::FULL, BT, Settings > , smtrat::cad::Projection< Incrementality::NONE, Backtracking::ORDERED, Settings > , smtrat::cad::Projection< Incrementality::NONE, Backtracking::UNORDERED, Settings > , smtrat::mcsat::onecellcad::RealAlgebraicPoint< Number > , smtrat::qe::cad::CAD< Settings > , smtrat::qe::cad::Projection< Settings >
• dimension() : smtrat::Backend< Settings >
• disable() : smtrat::cad::PolynomialLiftingQueue< PolynomialGetter >
• disc() : smtrat::cadcells::datastructures::Projections
• discharge() : smtrat::parser::ParserState::ExpressionScope , smtrat::parser::ParserState::ScriptScope
• doBacktracking() : smtrat::NewCoveringModule< Settings >
• doBooleanAssignment() : smtrat::mcsat::MCSATMixin< Settings >
• doEncode() : smtrat::CardinalityEncoder , smtrat::ExactlyOneCommanderEncoder , smtrat::LongFormulaEncoder , smtrat::MixedSignEncoder , smtrat::PseudoBoolEncoder , smtrat::RNSEncoder , smtrat::ShortFormulaEncoder , smtrat::TotalizerEncoder
• doIncremental() : smtrat::NewCoveringModule< Settings >
• doIncrementalAndBacktracking() : smtrat::NewCoveringModule< Settings >
• doLayout() : smtrat::cad::debug::TikzTreePrinter
• doLifting() : smtrat::cad::CADCore< CoreHeuristic::Interleave >
• doProjection() : smtrat::cad::CADCore< CoreHeuristic::Interleave >
• DotSubgraph() : smtrat::cad::debug::DotSubgraph
• doubleIntervalHasBeenUpdated() : smtrat::vb::Variable< T >
• DoubleOption() : Minisat::DoubleOption
• DoubleRange() : Minisat::DoubleRange
• doubleToRationalInterval() : smtrat::ICPModule< Settings >
• drand() : smtrat::SATModule< Settings >
• dViolationSum() : smtrat::lra::Tableau< Settings, T1, T2 >
• DynamicPriorityQueue() : smtrat::DynamicPriorityQueue< T, Compare >