Here is a list of all struct and union fields with links to the structures/unions they belong to:

- d -

• data() : benchmax::Results , Minisat::Clause , Minisat::Map< K, D, H, E >::Pair , Minisat::vec< T >
• Data : smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >
• data : smtrat::cad::debug::TikzDAGPrinter::Node , smtrat::cad::debug::TikzTreePrinter::UnifiedNode , smtrat::cad::debug::UnifiedData , smtrat::cad::Projection< Incrementality::FULL, BT, Settings >::PurgedPolynomials , smtrat::cadcells::datastructures::IndexedRootOrdering , smtrat::cadcells::representation::util::PolyDelineations , smtrat::PriorityQueue< T, Compare >
• DataIndex : smtrat::fmplex::Matrix , smtrat::qe::util::Matrix
• db : smtrat::covering_ng::formula::formula_ds::FormulaGraph
• 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 >
• debugEnabled : smtrat::LOG
• debugPrint() : smtrat::ICPModule< Settings >
• debugProjection : smtrat::NewCADBaseSettings
• debugStepsToTikz : smtrat::NewCADBaseSettings
• dec_vars : smtrat::SATModule< Settings >
• decidedByTheory() : smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >
• decidedVariables : smtrat::mcsat::TheoryLevel
• decimal : smtrat::parser::ScriptParser< Callee > , smtrat::parser::SpecConstantParser
• decision : smtrat::SATModule< Settings >
• decisionLevel() : smtrat::mcsat::MCSATMixin< Settings > , smtrat::SATModule< Settings >
• decisionLiteral : smtrat::mcsat::TheoryLevel
• decisions : smtrat::SATModule< Settings >
• declareConst() : smtrat::parser::SMTLIBParser
• declared_functions : smtrat::parser::ParserState , smtrat::parser::ParserState::ScriptScope
• 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
• default_splitting_size_nia : smtrat::ICPSettings1 , smtrat::ICPSettings2
• default_splitting_size_nra : smtrat::ICPSettings1
• defaultBoundPosition() : smtrat::lra::Tableau< Settings, T1, T2 >
• DefaultTwo() : smtrat::DefaultTwo
• 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
• defineFunction() : smtrat::parser::Theories
• defineSort() : smtrat::Executor< Strategy > , smtrat::parseformula::FormulaCollector , smtrat::parser::InstructionHandler
• definition : smtrat::parser::UserFunctionInstantiator
• deg : smtrat::mcsat::onecellcad::TagPoly
• degree() : smtrat::cadcells::datastructures::Projections
• degree_max : smtrat::analyzer::DegreeCollector
• degree_sum : smtrat::analyzer::DegreeCollector
• deinform() : smtrat::Manager , smtrat::Module
• deinformCore() : smtrat::LRAModule< Settings > , smtrat::Module
• del() : smtrat::cadcells::representation::approximation::CellApproximator
• deleteConditions() : smtrat::vs::State
• deleted : Minisat::OccLists< Idx, Vec, Deleted >
• 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 > , 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
• 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 >
• delineated_roots : smtrat::cadcells::representation::util::PolyDelineation
• DelineatedDerivation() : smtrat::cadcells::datastructures::DelineatedDerivation< Properties >
• Delineation : smtrat::cadcells::datastructures::DelineationInterval
• delineation_function : smtrat::cadcells::operators::MccallumFilteredSettings , smtrat::internal::OpSettings
• DelineationFunction : smtrat::cadcells::operators::MccallumFilteredSettings
• DelineationInterval : smtrat::cadcells::datastructures::Delineation , smtrat::cadcells::datastructures::DelineationInterval
• delineators : smtrat::mcsat::onecellcad::recursive::RecursiveCAD
• delta_column() : smtrat::fmplex::FMplexElimination , smtrat::qe::fmplex::FMplexQE
• deltaPart() : smtrat::lra::Value< T >
• demangle() : smtrat::VariantMap< Key, Value >
• denom() : smtrat::lra::Numeric
• depth : smtrat::cad::debug::TikzTreePrinter::UnifiedNode
• derivation : smtrat::cadcells::datastructures::CellRepresentation< P >
• DerivationRef() : smtrat::cadcells::datastructures::DerivationRef< Properties >
• derivationVar() : smtrat::icp::ContractionCandidate
• derivative() : smtrat::cadcells::datastructures::Projections , smtrat::icp::ContractionCandidate
• derivatives : smtrat::cadcells::datastructures::detail::PolyProperties
• description : Minisat::Option , smtrat::cadcells::datastructures::CellRepresentation< P >
• 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 >
• dirties : Minisat::OccLists< Idx, Vec, Deleted >
• dirty : Minisat::OccLists< Idx, Vec, Deleted >
• disable() : smtrat::cad::PolynomialLiftingQueue< PolynomialGetter >
• 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 , smtrat::cadcells::datastructures::Projections
• discharge() : smtrat::parser::ParserState::ExpressionScope , smtrat::parser::ParserState::ScriptScope
• discrDenom : smtrat::CSplitSettings1
• 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 >
• DomainSize : smtrat::CSplitModule< Settings >
• doProjection() : smtrat::cad::CADCore< CoreHeuristic::Interleave >
• dotFilename : smtrat::ICESettings1
• DotSubgraph() : smtrat::cad::debug::DotSubgraph
• doubleIntervalHasBeenUpdated() : smtrat::vb::Variable< T >
• DoubleOption() : Minisat::DoubleOption
• DoubleRange() : Minisat::DoubleRange
• doubleToRationalInterval() : smtrat::ICPModule< Settings >
• downwards_propagation : smtrat::covering_ng::formula::formula_ds::FormulaGraph
• drand() : smtrat::SATModule< Settings >
• driver : benchmax::DBAL
• dummy : smtrat::cad::CADPreprocessorSettings , smtrat::cad::PreprocessorSettings
• dumpAsDot : smtrat::ICESettings1
• dViolationSum() : smtrat::lra::Tableau< Settings, T1, T2 >
• DynamicPriorityQueue() : smtrat::DynamicPriorityQueue< T, Compare >