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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Z

- a -

• a : LMCAS::anonymous_namespace{integration_definite.cpp}::DefiniteInterval
• a_sq : LMCAS::anonymous_namespace{integration_trig_substitution.cpp}::QuadRadical
• abort_ : LMCAS::InferenceEngine::DepthGuard
• absolute_error : LMCAS::ApproxReal
• absolute_tolerance : LMCAS::detail::NumericEvaluationOptions
• active : LMCAS::ZcFactorSearch
• active_depth_ : LMCAS::detail::RewriteBudget::Measurement
• algebraic : LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::ExactInequalityRoot, LMCAS::ComparableEndpoint, LMCAS::detail::ComparableEndpoint
• all_nonnegative : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• all_nonzero : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• all_real : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• all_zero : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• allow_numeric : LMCAS::SolveOptions
• angles_ : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• antiderivatives_ : LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder
• any_positive : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• any_zero : LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::QuadraticSigns, LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
• argument : LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper, LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare, LMCAS::TrigSquare
• arguments_ : LMCAS::FunctionNode, LMCAS::UninterpretedFunctionNode
• arithmetic : LMCAS::Irrational::EnclosureRound
• assignments : LMCAS::multivariate_checked_detail::LinearAssignments
• assumptions_ : LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation, LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference, LMCAS::ComputationContext
• atoms_ : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
• aux_to_node : LMCAS::groebner_detail::PolyBuilder, LMCAS::groebner_detail::PolyContext
• auxiliary : LMCAS::multivariate_checked_detail::LinearSamples