这里列出了所有类成员，并附带类的详细说明:

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

_

~

- w -

• walk() : LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
• weak_subtraction_sign() : LMCAS::InferenceEngine::Impl
• wildcards : LMCAS::detail::IntegrationEntry
• work_ : LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}::RootIsolation
• Writer() : LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer