ksmt-core/io.ksmt.utils/DefaultValueSampler

DefaultValueSampler

open class DefaultValueSampler(val ctx: KContext) : KSortVisitor<KExpr<*>>

Constructors

Link copied to clipboard

Functions

Link copied to clipboard
open fun visit(sort: KSort): Any
open override fun <S : KBvSort> visit(sort: S): KExpr<*>
open override fun <S : KFpSort> visit(sort: S): KExpr<*>
open override fun <D0 : KSort, D1 : KSort, R : KSort> visit(sort: KArray2Sort<D0, D1, R>): KExpr<*>
open override fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> visit(sort: KArray3Sort<D0, D1, D2, R>): KExpr<*>
open override fun <R : KSort> visit(sort: KArrayNSort<R>): KExpr<*>
open override fun <D : KSort, R : KSort> visit(sort: KArraySort<D, R>): KExpr<*>
open override fun visit(sort: KBoolSort): KExpr<*>
open override fun visit(sort: KFpRoundingModeSort): KExpr<*>
open override fun visit(sort: KIntSort): KExpr<*>
open override fun visit(sort: KRealSort): KExpr<*>
open override fun visit(sort: KUninterpretedSort): KExpr<*>

Properties

Link copied to clipboard
val ctx: KContext