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

KFuncInterp

interface KFuncInterp<T : KSort>

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val decl: KDecl<T>
Link copied to clipboard
abstract val default: KExpr<T>?
Link copied to clipboard
abstract val entries: List<KFuncInterpEntry<T>>
Link copied to clipboard
open val sort: T
Link copied to clipboard
abstract val vars: List<KDecl<*>>

Inheritors

Link copied to clipboard
Link copied to clipboard