ksmt-core/io.ksmt.utils/ArithUtils/RealValue

RealValue

class RealValue : Comparable<ArithUtils.RealValue>

Types

object Companion

Functions

fun abs(): ArithUtils.RealValue

fun add(other: ArithUtils.RealValue): ArithUtils.RealValue

open operator override fun compareTo(other: ArithUtils.RealValue): Int

fun div(other: ArithUtils.RealValue): ArithUtils.RealValue

fun div(value: BigInteger): ArithUtils.RealValue

open operator override fun equals(other: Any?): Boolean

fun floor(): BigInteger

open override fun hashCode(): Int

fun inverse(): ArithUtils.RealValue

fun isNegative(): Boolean

fun isZero(): Boolean

fun mul(other: ArithUtils.RealValue): ArithUtils.RealValue

fun mul(value: BigInteger): ArithUtils.RealValue

fun pow(power: Int): ArithUtils.RealValue

fun smallIntValue(): Int?

fun sub(other: ArithUtils.RealValue): ArithUtils.RealValue

Properties

val denominator: BigInteger

val numerator: BigInteger