ksmt-core/io.ksmt.decl/KDecl

KDecl

abstract class KDecl<T : KSort>(val ctx: KContext, val name: String, val sort: T, val argSorts: List<KSort>) : KAst

Constructors

fun <T : KSort> KDecl(ctx: KContext, name: String, sort: T, argSorts: List<KSort>)

Functions

abstract fun <R> accept(visitor: KDeclVisitor<R>): R

abstract fun apply(args: List<KExpr<*>>): KApp<T, *>

fun checkArgSorts(args: List<KExpr<*>>)

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 argSorts: List<KSort>

val ctx: KContext

val name: String

val sort: T

Inheritors