ksmt-core/io.ksmt.sort

Package-level declarations

Types

abstract class KArithSort(val ctx: KContext) : KSort

class KArray2Sort<D0 : KSort, D1 : KSort, R : KSort> : KArraySortBase<R>

class KArray3Sort<D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> : KArraySortBase<R>

class KArrayNSort<R : KSort> : KArraySortBase<R>

class KArraySort<D : KSort, R : KSort> : KArraySortBase<R>

sealed class KArraySortBase<R : KSort> : KSort

class KBoolSort : KSort

class KBv16Sort : KBvSort

class KBv1Sort : KBvSort

class KBv32Sort : KBvSort

class KBv64Sort : KBvSort

class KBv8Sort : KBvSort

KBvCustomSizeSort

open class KBvCustomSizeSort(val ctx: KContext, val sizeBits: UInt) : KBvSort

abstract class KBvSort(val ctx: KContext) : KSort

class KFp128Sort(val ctx: KContext) : KFpSort

class KFp16Sort(val ctx: KContext) : KFpSort

class KFp32Sort(val ctx: KContext) : KFpSort

class KFp64Sort(val ctx: KContext) : KFpSort

KFpCustomSizeSort

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

KFpRoundingModeSort

class KFpRoundingModeSort(val ctx: KContext) : KSort

sealed class KFpSort : KSort

class KIntSort : KArithSort

class KRealSort : KArithSort

abstract class KSort(val ctx: KContext) : KAst

interface KSortVisitor<T>

KUninterpretedSort

open class KUninterpretedSort(val name: String, val ctx: KContext) : KSort