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

Index - C

chooseBool	What4.Domains.Verification
chooseInt	What4.Domains.Verification
chooseInteger	What4.Domains.Verification
clz	What4.Domains.BV
clzOpt	What4.Domains.Arithmetic.Internal
clzRef	What4.Domains.Arithmetic.Internal
concat
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_add
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_and
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV
correct_and_scalar	What4.Domains.BV.XOR
correct_any
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_arithToBitwise	What4.Domains.BV
correct_arithToXorDomain	What4.Domains.BV
correct_ashr
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_ashrAbstract	What4.Domains.BV.Bitwise
correct_asSingleton
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_asXorDomain	What4.Domains.BV
correct_bitbounds
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Arith
correct_bitwiseToArith	What4.Domains.BV
correct_bitwiseToXorDomain	What4.Domains.BV
correct_bra1	What4.Domains.BV
correct_bra2	What4.Domains.BV
correct_brb1	What4.Domains.BV
correct_brb2	What4.Domains.BV
correct_clz	What4.Domains.BV
correct_concat
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_ctz	What4.Domains.BV
correct_eq
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_equiv_ashrAbstract	What4.Domains.BV.Bitwise
correct_equiv_lshrAbstract	What4.Domains.BV.Bitwise
correct_equiv_rolAbstract	What4.Domains.BV.Bitwise
correct_equiv_rorAbstract	What4.Domains.BV.Bitwise
correct_equiv_shlAbstract	What4.Domains.BV.Bitwise
correct_fromXorDomain	What4.Domains.BV
correct_intersection	What4.Domains.BV.Bitwise
correct_isUltSumCommonEquiv	What4.Domains.BV.Arith
correct_join
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_leq
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_lshr
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_lshrAbstract	What4.Domains.BV.Bitwise
correct_meet
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_mixed_domain_overlap	What4.Domains.BV
correct_mixed_domain_overlap_inv	What4.Domains.BV
correct_mul
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_mulPrecise	What4.Domains.BV.Bitwise
correct_mulRange	What4.Domains.BV.Arith
correct_neg
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_not
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_or
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
correct_overlap
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_overlap_inv
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_popcnt	What4.Domains.BV
correct_rol
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
correct_rolAbstract	What4.Domains.BV.Bitwise
correct_ror
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
correct_rorAbstract	What4.Domains.BV.Bitwise
correct_sbounds
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_scale
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_scale_eq	What4.Domains.BV.Arith
correct_sdiv
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_sdivRange	What4.Domains.BV.Arith
correct_sdivSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_select
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_shl
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_shlAbstract	What4.Domains.BV.Bitwise
correct_shrink
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_shrinkRange	What4.Domains.BV.Arith
correct_sign_ext
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_singleton
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
correct_slt
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_srem
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_sremSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_sub	What4.Domains.BV.Bitwise
correct_testBit
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
correct_trunc
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_ubounds
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_udiv
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_udivPrecise	What4.Domains.BV.Bitwise
correct_udivSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_ult
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_union
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_unknowns	What4.Domains.BV.Arith
correct_urem
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
correct_uremPrecise	What4.Domains.BV.Bitwise
correct_uremSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
correct_xor
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV
correct_xorToBitwiseDomain	What4.Domains.BV
correct_zero_ext
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
ctz	What4.Domains.BV
ctzOpt	What4.Domains.Arithmetic.Internal
ctzRef	What4.Domains.Arithmetic.Internal