这里是所有函数, 及指向其所属类的链接:

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z

_

~

- r -

• radical() : LMCAS::Irrational::EnclosureRound
• radical_radicand() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• radical_square() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• rational() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• rational_bounds() : LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation
• rational_endpoint_bound() : LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation
• RationalLiteral() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• read_digits() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• read_exponent() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• read_exponent_magnitude() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• read_length() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• read_repeating_digits() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• read_sign() : LMCAS::anonymous_namespace{rational_parsing.cpp}::RationalLiteral
• Reader() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• real() : LMCAS::ComplexNode
• real_defined() : LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference
• real_definedness() : LMCAS::InferenceEngine::Impl
• real_or_integer() : LMCAS::InferenceEngine::Impl
• real_valued_function() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• RealPrimitiveCandidate() : LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate
• Recursion() : LMCAS::serialization_detail::Recursion
• recursion_depth() : LMCAS::ComputationContext
• RecursionFrame() : LMCAS::anonymous_namespace{symbolic_gcd.cpp}::RecursionFrame
• RecursionScope() : LMCAS::anonymous_namespace{numeric_evaluation.cpp}::RecursionScope, LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::RecursionScope
• reduce_basis() : LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver
• reduce_radicals() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• refine_sign() : LMCAS::Irrational::EnclosureRound
• register_atom() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• register_canonical_radical() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• register_new_atom() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• register_regular_atom() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• register_replacement() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• relation() : LMCAS::AssumptionDecl, LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• relation_rhs_nonnegative() : LMCAS::InferenceEngine::Impl
• relational() : LMCAS::expr_detail::ExprParser, LMCAS::ExprParser
• RelationalNode() : LMCAS::RelationalNode
• remember() : LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement, LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts
• remember_angle() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• replace() : LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::SubstNodeVisitor
• represent_as_aux_or_fail() : LMCAS::groebner_detail::PolyBuilder
• require() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal, LMCAS::detail::ExactBoundArithmetic
• require_ast_nodes() : LMCAS::ComputationContext
• require_bits() : LMCAS::detail::RewriteBudget::Measurement
• require_compatible_variables() : LMCAS::Polynomial< CoeffType >
• require_expansion_terms() : LMCAS::ComputationContext
• require_input_bytes() : LMCAS::ComputationContext
• require_integer_bits() : LMCAS::ComputationContext
• require_nodes() : LMCAS::detail::RewriteBudget
• require_same_modulus() : LMCAS::ModInt
• require_shape() : LMCAS::detail::RewriteBudget
• resample_endpoints() : LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation, LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
• ResidualBranch() : LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch
• ResidualRecursionScope() : LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualRecursionScope
• restricted_argument() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• restricted_function() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• Result() : LMCAS::Result< T >, LMCAS::Result< void >
• rewrite() : LMCAS::detail::SymbolicRewriter
• rewrite_absolute() : LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter
• rewrite_budget() : LMCAS::detail::SymbolicVisitor
• rewrite_child() : LMCAS::detail::SymbolicRewriter
• rewrite_children() : LMCAS::detail::SymbolicRewriter
• rewrite_function() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• rewrite_radical() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• rewrite_scoped() : LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution
• rewrite_square_absolute() : LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter
• RewriteBudget() : LMCAS::detail::RewriteBudget
• RewriteScope() : LMCAS::detail::RewriteScope
• RewriteVisitor() : LMCAS::RewriteVisitor
• right() : LMCAS::LogicalNode, LMCAS::RelationalNode
• root() : LMCAS::detail::NumericEvaluator
• root_at() : LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
• root_facts() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• root_of() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• RootIsolation() : LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
• RootOfNode() : LMCAS::RootOfNode
• RootRefinement() : LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
• rows() : LMCAS::MatrixNode
• run() : LMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification, LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation