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

KFuncInterpEntryVarsFree

interface KFuncInterpEntryVarsFree<T : KSort> : KFuncInterpEntry<T>

Function interpretation entry, that does NOT contain variables in arguments and in a value. For example, arguments and a value are interpreted values.

Types

Companion

object Companion

Properties

args

abstract val args: List<KExpr<*>>

arity

abstract val arity: Int

value

abstract val value: KExpr<T>

Inheritors

KFuncInterpEntryVarsFreeOneAry

KFuncInterpEntryVarsFreeTwoAry

KFuncInterpEntryVarsFreeThreeAry

KFuncInterpEntryVarsFreeNAry