Index

==>	What4.Domains.Verification
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
bitbounds
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise, What4.Domains.BV
3 (Function)	What4.Domains.BV.Arith
bitle	What4.Domains.BV.Bitwise
bitwiseRoundAbove	What4.Domains.BV
bitwiseRoundBetween	What4.Domains.BV
bitwiseToXorDomain	What4.Domains.BV
BoolProperty	What4.Domains.Verification
bottom
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
BVBitInterval	What4.Domains.BV.Bitwise
BVDAny	What4.Domains.BV.Arith
BVDArith	What4.Domains.BV
BVDBitwise	What4.Domains.BV
BVDInterval	What4.Domains.BV.Arith
bvdMask
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
BVDomain	What4.Domains.BV
BVDXor	What4.Domains.BV.XOR
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
Domain
1 (Type/Class)	What4.Domains.BV.XOR
2 (Type/Class)	What4.Domains.BV.Bitwise
3 (Type/Class)	What4.Domains.BV.Arith
domainsOverlap
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
eq
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
fillright	What4.Domains.BV.Arith
fromAscEltList
1 (Function)	What4.Domains.BV.Arith
2 (Function)	What4.Domains.BV
fromXorDomain	What4.Domains.BV
Gen	What4.Domains.Verification
genChooseBool	What4.Domains.Verification
genChooseInt	What4.Domains.Verification
genChooseInteger	What4.Domains.Verification
genDomain
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
genElement
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
GenEnv
1 (Type/Class)	What4.Domains.Verification
2 (Data Constructor)	What4.Domains.Verification
genGetSize	What4.Domains.Verification
genPair
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
getSize	What4.Domains.Verification
intersection	What4.Domains.BV.Bitwise
interval
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
intLog2Opt	What4.Domains.Arithmetic.Internal
intLog2Ref	What4.Domains.Arithmetic.Internal
isBottom
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
isPow2IntegerOpt	What4.Domains.Arithmetic.Internal
isPow2IntegerRef	What4.Domains.Arithmetic.Internal
isUltSumCommonEquiv
1 (Function)	What4.Domains.BV.Arith
2 (Function)	What4.Domains.BV
join
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
join_absorb	What4.Domains.BV.Bitwise
join_associative	What4.Domains.BV.Bitwise
join_bottom
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
join_commutative
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
join_idempotent
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
join_monotone	What4.Domains.BV.Bitwise
join_proper
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
join_top
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
join_upper_bound
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
leq
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
leq_reflexive
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
leq_transitive
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
lshr
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
lshrAbstract	What4.Domains.BV.Bitwise
lshrAbstractSpec	What4.Domains.BV.Bitwise
meet
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
meet_absorb	What4.Domains.BV.Bitwise
meet_associative	What4.Domains.BV.Bitwise
meet_bottom
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
meet_commutative
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
meet_idempotent
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
meet_lower_bound	What4.Domains.BV.Bitwise
meet_monotone	What4.Domains.BV.Bitwise
meet_proper
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
meet_top
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
member
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
mul
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
mulPrecise	What4.Domains.BV.Bitwise
negate
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
nonempty	What4.Domains.BV.Bitwise
not
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
or
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
pmember
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
popcnt	What4.Domains.BV
precise_meet	What4.Domains.BV.Bitwise
precise_overlap	What4.Domains.BV
preCondition	What4.Domains.Verification
proper
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
Property	What4.Domains.Verification
property	What4.Domains.Verification
range
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
rol
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
rolAbstract	What4.Domains.BV.Bitwise
rolAbstractSpec	What4.Domains.BV.Bitwise
ror
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
rorAbstract	What4.Domains.BV.Bitwise
rorAbstractSpec	What4.Domains.BV.Bitwise
sbounds
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
scale
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
sdiv
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
sdivSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
select
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
sext
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
shl
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
shlAbstract	What4.Domains.BV.Bitwise
shlAbstractSpec	What4.Domains.BV.Bitwise
singleton
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV.Arith
4 (Function)	What4.Domains.BV
size
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
slt
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
srem
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
sremSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
sub	What4.Domains.BV.Bitwise
testBit
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV
toNativeProperty	What4.Domains.Verification
top
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
ubounds
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
udiv
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
udivPrecise	What4.Domains.BV.Bitwise
udivSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
ult
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
union
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
unknowns	What4.Domains.BV.Arith
urem
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
uremPrecise	What4.Domains.BV.Bitwise
uremSmtlib
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV
Verifiable	What4.Domains.Verification
verifying	What4.Domains.Verification
xor
1 (Function)	What4.Domains.BV.XOR
2 (Function)	What4.Domains.BV.Bitwise
3 (Function)	What4.Domains.BV
xorToBitwiseDomain	What4.Domains.BV
zext
1 (Function)	What4.Domains.BV.Bitwise
2 (Function)	What4.Domains.BV.Arith
3 (Function)	What4.Domains.BV