
public final class KFp16Decl
extends KFpDecl<KFp16Sort>

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final Float`	`value`
`private final KDecl<KBv1Sort>`	`sign`
`private final KDecl<out KBvSort>`	`significandBinary`
`private final KDecl<out KBvSort>`	`unbiasedExponentBinary`
`private final String`	`name`
`private final KFp16Sort`	`sort`
`private final List<KSort>`	`argSorts`
`private final KContext`	`ctx`

Constructors
Constructor	Description

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final Float`	`getValue()`
`KApp<KFp16Sort, ?>`	`apply(List<KExpr<?>> args)`
`<R extends Any> R`	`accept(KDeclVisitor<R> visitor)`

Methods inherited from class io.ksmt.decl.KFpDecl
getSign, getSignificandBinary, getUnbiasedExponentBinary
Methods inherited from class io.ksmt.decl.KDecl
checkArgSorts, equals, getArgSorts, getName, getSort, hashCode, print
Methods inherited from class io.ksmt.KAst
getCtx, toString
Methods inherited from class io.ksmt.decl.KConstDecl
apply
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 KApp<KFp16Sort, ?> apply(List<KExpr<?>> args)

 <R extends Any> R accept(KDeclVisitor<R> visitor)

Class KFp16Decl