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

KFuncInterpEntryWithVarsNAry

data class KFuncInterpEntryWithVarsNAry<T : KSort> : KFuncInterpEntryWithVars<T> , KFuncInterpEntryNAry<T>

Functions

open override fun modify(args: List<KExpr<*>>, value: KExpr<T>): KFuncInterpEntryNAry<T>

open override fun toString(): String

Properties

open override val args: List<KExpr<*>>

abstract val arity: Int

open override val value: KExpr<T>