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

KFuncInterpEntryVarsFreeTwoAry

data class KFuncInterpEntryVarsFreeTwoAry<T : KSort>(val arg0: KExpr<*>, val arg1: KExpr<*>, val value: KExpr<T>) : KFuncInterpEntryVarsFree<T> , KFuncInterpEntryTwoAry<T>

Constructors

KFuncInterpEntryVarsFreeTwoAry

fun <T : KSort> KFuncInterpEntryVarsFreeTwoAry(arg0: KExpr<*>, arg1: KExpr<*>, value: KExpr<T>)

Functions

open override fun modify(arg0: KExpr<*>, arg1: KExpr<*>, value: KExpr<T>): KFuncInterpEntryTwoAry<T>

open override fun toString(): String

Properties

open override val arg0: KExpr<*>

open override val arg1: KExpr<*>

abstract val args: List<KExpr<*>>

abstract val arity: Int

open override val value: KExpr<T>