what4-domains-0.1: Abstract domains for What4 term simplification (Index - A)

what4-domains-0.1: Abstract domains for What4 term simplification

A
B
C
D
E
F
G
I
J
L
M
N
O
P
R
S
T
U
V
X
Z
=
All

Index - A

add
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
and
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV
and_scalar	What4.Domains.BV.XOR
any
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
arithDomainData	What4.Domains.BV.Arith, What4.Domains.BV
arithToXorDomain	What4.Domains.BV
asArithDomain	What4.Domains.BV
asBitwiseDomain	What4.Domains.BV
ashr
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
ashrAbstract	What4.Domains.BV.Bitwise
ashrAbstractSpec	What4.Domains.BV.Bitwise
assertionsEnabled	What4.Domains.Internal
asSingleton
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
assumedProp	What4.Domains.Verification
Assuming	What4.Domains.Verification
assuming	What4.Domains.Verification
Assumption	What4.Domains.Verification
AssumptionProp	What4.Domains.Verification
asXorDomain	What4.Domains.BV