ksmt-core/io.ksmt.utils/FpUtils/fpValueFromBv

fpValueFromBv

fun <T : KFpSort> fpValueFromBv(rm: KFpRoundingMode, value: KBitVecValue<*>, signed: Boolean, sort: T): KFpValue<T>