- d -

• data() : carl::checkpoints::CheckpointVector , carl::logging::Filter , carl::VarsInfo< CoeffType >
• debug() : carl::tree< T >
• decayActivity() : carl::Cache< T >
• declare() : carl::io::QEPCADStream , carl::io::SMTLIBStream , carl::SortManager
• decreasePos() : carl::Heap< C >
• decreaseTop() : carl::Heap< C >
• deduplicate() : carl::ReductorConfiguration< Polynomial >
• defaultSortValue() : carl::SortValueManager
• define() : carl::SortManager
• definiteness() : carl::FactorizedPolynomial< P >
• degree() : carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• denominator() : carl::contractor::Evaluation< Polynomial > , carl::RationalFunction< Pol, AutoSimplify > , carl::SqrtEx< Poly >
• denominatorAsNumber() : carl::RationalFunction< Pol, AutoSimplify >
• denominatorAsPolynomial() : carl::RationalFunction< Pol, AutoSimplify >
• denorm_min() : std::numeric_limits< carl::FLOAT_T< Number > >
• dependees() : carl::contractor::Contractor< Origin, Polynomial, Number > , carl::contractor::Evaluation< Polynomial >
• dependsOn() : carl::ModelConditionalSubstitution< Rational, Poly > , carl::ModelFormulaSubstitution< Rational, Poly > , carl::ModelMVRootSubstitution< Rational, Poly > , carl::ModelPolynomialSubstitution< Rational, Poly > , carl::ModelSubstitution< Rational, Poly >
• depth() : carl::tree_detail::BaseIterator< T, Iterator, reverse >
• DepthIterator() : carl::tree_detail::DepthIterator< T, reverse >
• dereg() : carl::Cache< T >
• derivative() : carl::FactorizedPolynomial< P > , carl::RationalFunction< Pol, AutoSimplify >
• description() : carl::checkpoints::CheckpointVector
• diameter() : carl::Interval< Number >
• diameter_assign() : carl::Interval< Number >
• diameter_ratio() : carl::Interval< Number >
• diameter_ratio_assign() : carl::Interval< Number >
• digits() : std::numeric_limits< carl::FLOAT_T< Number > >
• digits10() : std::numeric_limits< carl::FLOAT_T< Number > >
• DIMACSImporter() : carl::io::DIMACSImporter< Pol >
• dimension() : carl::RealAlgebraicNumberThom< Number > , carl::ThomEncoding< Number >
• DiophantineEquations() : carl::DiophantineEquations< Integer >
• distance() : carl::Interval< Number >
• div() : carl::FLOAT_T< FloatType > , carl::Interval< Number >
• div_assign() : carl::FLOAT_T< FloatType > , carl::Interval< Number >
• div_down() : carl::rounding< Number >
• div_ext() : carl::Interval< Number >
• div_up() : carl::rounding< Number >
• divide() : carl::Monomial , carl::Term< Coefficient >
• divideBy() : carl::FactorizedPolynomial< P >
• divides() : carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• divideSigned() : carl::BVValue
• divideUnsigned() : carl::BVValue
• divisible() : carl::Monomial , carl::Term< Coefficient >
• DivisionLookupResult() : carl::DivisionLookupResult< Polynomial >
• domain() : carl::UFContent , carl::UninterpretedFunction , carl::UTerm , carl::UVariable
• drop_variable() : carl::Monomial , carl::Term< Coefficient >
• dropTerms() : carl::TermAdditionManager< Polynomial, Ordering >
• duration() : carl::settings::duration