ksmt-core/io.ksmt.sort/KBvSort

KBvSort

abstract class KBvSort(val ctx: KContext) : KSort

Constructors

fun KBvSort(ctx: KContext)

Functions

abstract fun <T> accept(visitor: KSortVisitor<T>): T

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

open override fun hashCode(): Int

open override fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val ctx: KContext

abstract val sizeBits: UInt

Inheritors

KBvCustomSizeSort