ksmt-core/io.ksmt/KContext/mkFp

mkFp

fun <T : KFpSort> mkFp(value: Float, sort: T): KFpValue<T>
fun <T : KFpSort> mkFp(value: Double, sort: T): KFpValue<T>
fun <T : KFpSort> mkFp(significand: Int, unbiasedExponent: Int, signBit: Boolean, sort: T): KFpValue<T>
fun <T : KFpSort> mkFp(significand: Long, unbiasedExponent: Long, signBit: Boolean, sort: T): KFpValue<T>
fun <T : KFpSort> mkFp(significand: KBitVecValue<*>, unbiasedExponent: KBitVecValue<*>, signBit: Boolean, sort: T): KFpValue<T>