ksmt-core/io.ksmt.sort/KArray3Sort

KArray3Sort

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

Types

object Companion

Functions

open override 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

val domain0: D0

val domain1: D1

val domain2: D2

open override val domainSorts: List<KSort>

open override val range: R