- r -

• radicand() : carl::SqrtEx< Poly >
• raise_max_degree() : carl::VarInfo< CoeffType >
• ran_evaluator() : carl::ran::interval::ran_evaluator< Number >
• rank() : carl::Variable
• rationalFunction() : carl::io::parser::Parser< Pol >
• RationalFunction() : carl::RationalFunction< Pol, AutoSimplify >
• RationalFunctionParser() : carl::io::parser::RationalFunctionParser< Pol >
• RationalParser() : carl::parser::RationalParser< T, Iterator >
• rbegin() : carl::Formula< Pol > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::tree< T >
• rbegin_children() : carl::tree< T >
• rbegin_depth() : carl::tree< T >
• rbegin_leaf() : carl::tree< T >
• rbegin_postorder() : carl::tree< T >
• rbegin_preorder() : carl::tree< T >
• readTerms() : carl::TermAdditionManager< Polynomial, Ordering >
• real() : carl::carlVariables , carl::variable_type_filter
• RealAlgebraicNumberThom() : carl::RealAlgebraicNumberThom< Number >
• RealRootIsolation() : carl::ran::interval::RealRootIsolation< Number >
• RealRootsResult() : carl::RealRootsResult< RAN >
• realValued() : carl::Constraint< Pol >
• reciprocal() : carl::Interval< Number >
• reduce() : carl::Buchberger< Polynomial, AddingPolicy > , carl::GroebnerBase< Number > , carl::MultiplicationTable< Number > , carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• reduceGB() : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• reduceInput() : carl::AbstractGBProcedure< Polynomial > , carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• reduceProduct() : carl::TarskiQueryManager< Number >
• ReducibleIdentity() : carl::BuchbergerStats
• reductionOccured() : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• Reductor() : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• ReductorEntry() : carl::ReductorEntry< Polynomial >
• refine() : carl::IntRepRealAlgebraicNumber< Number >
• refine_internal() : carl::IntRepRealAlgebraicNumber< Number >
• refine_to_integrality() : carl::IntRepRealAlgebraicNumber< Number >
• refine_using() : carl::IntRepRealAlgebraicNumber< Number >
• reg() : carl::Cache< T > , carl::FormulaPool< Pol >
• rehash() : carl::Cache< T > , carl::FactorizedPolynomial< P > , carl::PolynomialFactorizationPair< P >
• RehashPolicy() : carl::pool::RehashPolicy
• relation() : carl::BasicConstraint< Pol > , carl::BVConstraint , carl::Constraint< Pol > , carl::VariableComparison< Poly >
• relevantDerivatives() : carl::ThomEncoding< Number >
• relevantSignCondition() : carl::ThomEncoding< Number >
• remove_negations() : carl::Formula< Pol >
• removeBuchbergerTriples() : carl::Buchberger< Polynomial, AddingPolicy >
• removeColumn() : carl::SignDetermination< Number >
• removeDependent() : carl::MultivariateHorner< PolynomialType, strategy >
• removeEliminated() : carl::Ideal< Polynomial, Datastructure, CacheSize >
• removeIndepenent() : carl::MultivariateHorner< PolynomialType, strategy >
• removeLeadingTerm() : carl::ReductorEntry< Polynomial >
• removeRow() : carl::SignDetermination< Number >
• remSigned() : carl::BVValue
• rend() : carl::Formula< Pol > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::tree< T >
• rend_children() : carl::tree< T >
• rend_depth() : carl::tree< T >
• rend_leaf() : carl::tree< T >
• rend_postorder() : carl::tree< T >
• rend_preorder() : carl::tree< T >
• repeat() : carl::BVValue
• replace() : carl::SortManager , carl::tree< T >
• replace_variable() : carl::IntRepRealAlgebraicNumber< Number >
• representing_integer() : carl::GFNumber< IntegerType >
• representingFormula() : carl::ModelConditionalSubstitution< Rational, Poly > , carl::ModelFormulaSubstitution< Rational, Poly > , carl::ModelMVRootSubstitution< Rational, Poly > , carl::ModelPolynomialSubstitution< Rational, Poly > , carl::ModelSubstitution< Rational, Poly >
• reserve() : carl::BitVector
• reset() : carl::AbstractGBProcedure< Polynomial > , carl::Bitset , carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy > , carl::IdealDatastructureVector< Polynomial > , carl::io::SMTLIBStream , carl::Timer
• reset_ordered() : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• resetCache() : carl::ModelSubstitution< Rational, Poly >
• resetCaches() : carl::Model< Rational, Poly >
• resetFormatter() : carl::logging::Logger
• resize() : carl::Bitset
• resolve_negation() : carl::VariableComparison< Poly >
• reverse_coefficients() : carl::UnivariatePolynomial< Coefficient >
• rhs() : carl::BVConstraint , carl::UEquality
• right() : carl::CompactTree< Entry, FastIndex >::Node
• rightShiftArithmetic() : carl::BVValue
• root() : carl::contractor::Evaluation< Polynomial > , carl::FLOAT_T< FloatType > , carl::Interval< Number >
• root_assign() : carl::FLOAT_T< FloatType > , carl::Interval< Number >
• roots() : carl::RealRootsResult< RAN >
• roots_response() : carl::RealRootsResult< RAN >
• rotateLeft() : carl::BVValue
• rotateRight() : carl::BVValue
• round_error() : std::numeric_limits< carl::FLOAT_T< Number > >
• round_style() : std::numeric_limits< carl::FLOAT_T< Number > >