ksmt-core/io.ksmt/KContext/toBv

toBv

fun Boolean.toBv(): KBitVec1Value

fun Boolean.toBv(sizeBits: UInt): KBitVecValue<KBvSort>

fun <T : KBvSort> Boolean.toBv(sort: T): KBitVecValue<T>

fun Byte.toBv(): KBitVec8Value

fun Byte.toBv(sizeBits: UInt): KBitVecValue<KBvSort>

fun <T : KBvSort> Byte.toBv(sort: T): KBitVecValue<T>

fun UByte.toBv(): KBitVec8Value

fun Short.toBv(): KBitVec16Value

fun Short.toBv(sizeBits: UInt): KBitVecValue<KBvSort>

fun <T : KBvSort> Short.toBv(sort: T): KBitVecValue<T>

fun UShort.toBv(): KBitVec16Value

fun Int.toBv(): KBitVec32Value

fun Int.toBv(sizeBits: UInt): KBitVecValue<KBvSort>

fun <T : KBvSort> Int.toBv(sort: T): KBitVecValue<T>

fun UInt.toBv(): KBitVec32Value

fun Long.toBv(): KBitVec64Value

fun Long.toBv(sizeBits: UInt): KBitVecValue<KBvSort>

fun <T : KBvSort> Long.toBv(sort: T): KBitVecValue<T>

fun ULong.toBv(): KBitVec64Value