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

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

Q

R

S

T

U

V

W

Z

_

~

- u -

• uninterpreted_function() : LMCAS::expr_detail::ExprParser, LMCAS::ExprParser
• UninterpretedFunctionNode() : LMCAS::UninterpretedFunctionNode
• units() : LMCAS::ComputationContext
• unknown() : LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts
• unsigned_field() : LMCAS::anonymous_namespace{expr_serialization_reader.cpp}::Reader
• unsupported() : LMCAS::DifferentiationVisitor
• upper() : LMCAS::IntegralNode, LMCAS::IntervalNode
• upper_bound() : LMCAS::ProductNode, LMCAS::SummationNode
• upper_closed() : LMCAS::IntervalNode
• use_numeric_function() : LMCAS::groebner_detail::PolyBuilder