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

KFuncInterpEntryVarsFreeThreeAry

data class KFuncInterpEntryVarsFreeThreeAry<T : KSort>(val arg0: KExpr<*>, val arg1: KExpr<*>, val arg2: KExpr<*>, val value: KExpr<T>) : KFuncInterpEntryVarsFree<T> , KFuncInterpEntryThreeAry<T>

Constructors

Link copied to clipboard
fun <T : KSort> KFuncInterpEntryVarsFreeThreeAry(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, value: KExpr<T>)

Functions

Link copied to clipboard
open override fun modify(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, value: KExpr<T>): KFuncInterpEntryThreeAry<T>
Link copied to clipboard
open override fun toString(): String

Properties

Link copied to clipboard
open override val arg0: KExpr<*>
Link copied to clipboard
open override val arg1: KExpr<*>
Link copied to clipboard
open override val arg2: KExpr<*>
Link copied to clipboard
abstract val args: List<KExpr<*>>
Link copied to clipboard
abstract val arity: Int
Link copied to clipboard
open override val value: KExpr<T>