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

KFuncInterpEntry

interface KFuncInterpEntry<T : KSort>

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
Link copied to clipboard
Link copied to clipboard