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

KFuncInterpEntryWithVarsTwoAry

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

Constructors

KFuncInterpEntryWithVarsTwoAry

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