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

KFuncInterpEntryOneAry

interface KFuncInterpEntryOneAry<T : KSort> : KFuncInterpEntry<T>

Types

object Companion

Functions

abstract fun modify(arg: KExpr<*>, value: KExpr<T>): KFuncInterpEntryOneAry<T>

Properties

abstract val arg: KExpr<*>

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

open override val arity: Int

abstract val value: KExpr<T>

Inheritors

KFuncInterpEntryVarsFreeOneAry

KFuncInterpEntryWithVarsOneAry