ksmt-core/io.ksmt.decl/KFp32Decl

KFp32Decl

class KFp32Decl : KFpDecl<KFp32Sort>

Functions

open override fun <R> accept(visitor: KDeclVisitor<R>): R

fun apply(): KApp<KFp32Sort, *>

open override fun apply(args: List<KExpr<*>>): KApp<KFp32Sort, *>

fun checkArgSorts(args: List<KExpr<*>>)

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun print(builder: StringBuilder)

open override fun toString(): String

Properties

val argSorts: List<KSort>

val ctx: KContext

val name: String

val sign: KDecl<KBv1Sort>

significandBinary

val significandBinary: KDecl<out KBvSort>

val sort: KFp32Sort

unbiasedExponentBinary

val unbiasedExponentBinary: KDecl<out KBvSort>

val value: Float