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

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

- b -

• b : LMCAS::anonymous_namespace{integration_definite.cpp}::DefiniteInterval
• base : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle, LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal, LMCAS::detail::transcendental::ExpBasePattern
• base_ : LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts, LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts, LMCAS::PowerNode
• base_constants : LMCAS::multivariate_checked_detail::LinearSamples
• bases_ : LMCAS::anonymous_namespace{normalization_products.cpp}::ProductAccumulator
• basis_ : LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver, LMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSystemSearch
• basis_count_ : LMCAS::fglm_detail::GaussianEliminator
• bernoulli_n : LMCAS::ODEClassification
• bernoulli_P : LMCAS::ODEClassification
• bernoulli_Q : LMCAS::ODEClassification
• best_ : LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
• bindings : LMCAS::ExprMatch
• bindings_ : LMCAS::detail::NumericEvaluator
• body_ : LMCAS::IntegralNode, LMCAS::LimitNode, LMCAS::ProductNode, LMCAS::SummationNode, LMCAS::TransformNode
• bound_ : LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableCollector
• bound_name : LMCAS::detail::BinderView
• bound_name_ : LMCAS::detail::ScopedFacts
• bound_var_ : LMCAS::QuantifierNode
• boundary_clear : LMCAS::detail::complex_root::RectangleCount
• bracket_lower : LMCAS::anonymous_namespace{newton_raphson.cpp}::RootCallbacks
• bracket_upper : LMCAS::anonymous_namespace{newton_raphson.cpp}::RootCallbacks
• branch_ : LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch
• branches_ : LMCAS::PiecewiseNode
• budget : LMCAS::EqvOptions, LMCAS::groebner_detail::PolyContext
• budget_ : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual, LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection, LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal, LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation, LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement, LMCAS::detail::RewriteBudget::Measurement, LMCAS::detail::RewriteScope