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

KFuncInterpEntryWithVars

interface KFuncInterpEntryWithVars<T : KSort> : KFuncInterpEntry<T>

Function interpretation entry, that may contain variables in arguments or in a value.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val args: List<KExpr<*>>
Link copied to clipboard
abstract val arity: Int
Link copied to clipboard
abstract val value: KExpr<T>

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard