ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
ArithUtils
/
RealValue
/
Companion
Companion
object
Companion
Functions
Properties
Functions
create
Link copied to clipboard
fun
create
(
numerator
:
BigInteger
,
denominator
:
BigInteger
=
BigInteger.ONE
)
:
ArithUtils.RealValue
Properties
minus
One
Link copied to clipboard
val
minusOne
:
ArithUtils.RealValue
one
Link copied to clipboard
val
one
:
ArithUtils.RealValue
two
Link copied to clipboard
val
two
:
ArithUtils.RealValue
zero
Link copied to clipboard
val
zero
:
ArithUtils.RealValue