ksmt-core/io.ksmt.utils/ArithUtils

ArithUtils

object ArithUtils

Types

class RealValue : Comparable<ArithUtils.RealValue>

Functions

operator fun KIntNumExpr.compareTo(other: KIntNumExpr): Int

fun <T : KArithSort> KContext.numericValue(realValue: ArithUtils.RealValue, sort: T): KExpr<T>

fun KIntNumExpr.toRealValue(): ArithUtils.RealValue

fun KRealNumExpr.toRealValue(): ArithUtils.RealValue

Properties

bigIntegerValue

val KIntNumExpr.bigIntegerValue: BigInteger