KFuncInterpWithVars

data class KFuncInterpWithVars<T : KSort>(val decl: KDecl<T>, val vars: List<KDecl<*>>, val entries: List<KFuncInterpEntry<T>>, val default: KExpr<T>?) : KFuncInterp<T>

Function interpretation, that contains variables in the body. For example, F(x) with default value (+ x 1).

Constructors

open override fun toString(): String

open override val decl: KDecl<T>

open override val default: KExpr<T>?

open val sort: T

open override val vars: List<KDecl<*>>