ksmt-core/io.ksmt.sort/KSort

KSort

abstract class KSort(val ctx: KContext) : KAst

Constructors

fun KSort(ctx: KContext)

Functions

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

abstract fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val ctx: KContext

Inheritors

KUninterpretedSort

KFpRoundingModeSort