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

KFuncInterpEntryVarsFreeOneAry

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

Constructors

KFuncInterpEntryVarsFreeOneAry

fun <T : KSort> KFuncInterpEntryVarsFreeOneAry(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>