ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
ArithUtils
/
toRealValue
to
Real
Value
fun
KIntNumExpr
.
toRealValue
(
)
:
ArithUtils.RealValue
fun
KRealNumExpr
.
toRealValue
(
)
:
ArithUtils.RealValue