ksmt-core/io.ksmt.sort/KArraySortBase

KArraySortBase

sealed class KArraySortBase<R : KSort> : KSort

Functions

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

open override fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val ctx: KContext

abstract val domainSorts: List<KSort>

abstract val range: R

Inheritors