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

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z

_

~

- n -

• name() : LMCAS::UninterpretedFunctionNode, LMCAS::VariableNode
• natural_number() : LMCAS::InferenceEngine::Impl
• needs_scale() : LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer
• newton() : LMCAS::detail::anonymous_namespace{mixed_transcendental_refinement.cpp}::RootRefinement
• next() : LMCAS::fglm_detail::MonomialEnumerator
• node() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader, LMCAS::detail::SymbolicExprAccess
• nodes() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• nonintegral_domain() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• nonintegral_power() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• nonintegral_value() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• nonnegative_sign() : LMCAS::InferenceEngine::Impl
• nonzero_power_sign() : LMCAS::InferenceEngine::Impl
• norm() : LMCAS::detail::NumericEvaluator
• NormalizationVisitor() : LMCAS::NormalizationVisitor
• normalize_bound_body() : LMCAS::NormalizationVisitor
• normalize_function_parity() : LMCAS::NormalizationVisitor
• normalize_logarithm() : LMCAS::NormalizationVisitor
• normalize_matrix_product() : LMCAS::NormalizationVisitor
• normalize_matrix_sum() : LMCAS::NormalizationVisitor
• normalize_natural_logarithm() : LMCAS::NormalizationVisitor
• normalize_nested_imaginary_power() : LMCAS::NormalizationVisitor
• normalize_nested_power() : LMCAS::NormalizationVisitor
• normalize_operands() : LMCAS::AddNode, LMCAS::MultiplyNode
• normalize_power_identity() : LMCAS::NormalizationVisitor
• normalize_product_power() : LMCAS::NormalizationVisitor
• normalize_unary_function() : LMCAS::NormalizationVisitor
• number() : LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual, LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal, LMCAS::detail::NumericEvaluator
• number_integer() : LMCAS::InferenceEngine::Impl
• number_negative() : LMCAS::InferenceEngine::Impl
• number_nonnegative() : LMCAS::InferenceEngine::Impl
• number_nonpositive() : LMCAS::InferenceEngine::Impl
• number_nonzero() : LMCAS::InferenceEngine::Impl
• number_positive() : LMCAS::InferenceEngine::Impl
• NumberNode() : LMCAS::NumberNode
• NumericEvaluator() : LMCAS::detail::NumericEvaluator