ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
FpUtils
/
fpBvValueOrNull
fp
Bv
Value
Or
Null
fun
<
T
:
KBvSort
>
fpBvValueOrNull
(
value
:
KFpValue
<
*
>
,
rm
:
KFpRoundingMode
,
bvSort
:
T
,
signed
:
Boolean
)
:
KBitVecValue
<
T
>
?