ksmt-core/io.ksmt.sort/KFpCustomSizeSort

KFpCustomSizeSort

open class KFpCustomSizeSort(val ctx: KContext, val exponentBits: UInt, val significandBits: UInt) : KFpSort

Constructors

KFpCustomSizeSort

fun KFpCustomSizeSort(ctx: KContext, exponentBits: UInt, significandBits: UInt)

Functions

open override fun <T> accept(visitor: KSortVisitor<T>): T

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

exponentShiftSize

open override fun exponentShiftSize(): Int

open override fun hashCode(): Int

open override fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val ctx: KContext

val exponentBits: UInt

significandBits

val significandBits: UInt