ksmt-core/io.ksmt.solver.model/KFuncInterpEntryWithVarsOneAry

KFuncInterpEntryWithVarsOneAry

data class KFuncInterpEntryWithVarsOneAry<T : KSort>(val arg: KExpr<*>, val value: KExpr<T>) : KFuncInterpEntryWithVars<T> , KFuncInterpEntryOneAry<T>

Constructors

KFuncInterpEntryWithVarsOneAry

fun <T : KSort> KFuncInterpEntryWithVarsOneAry(arg: KExpr<*>, value: KExpr<T>)

Functions

open override fun modify(arg: KExpr<*>, value: KExpr<T>): KFuncInterpEntryOneAry<T>

open override fun toString(): String

Properties

open override val arg: KExpr<*>

abstract val args: List<KExpr<*>>

abstract val arity: Int

open override val value: KExpr<T>