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

KFuncInterpEntryTwoAry

interface KFuncInterpEntryTwoAry<T : KSort> : KFuncInterpEntry<T>

Types

object Companion

Functions

abstract fun modify(arg0: KExpr<*>, arg1: KExpr<*>, value: KExpr<T>): KFuncInterpEntryTwoAry<T>

Properties

abstract val arg0: KExpr<*>

abstract val arg1: KExpr<*>

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

open override val arity: Int

abstract val value: KExpr<T>

Inheritors

KFuncInterpEntryVarsFreeTwoAry

KFuncInterpEntryWithVarsTwoAry