
public abstract class KFpDecl<T extends KFpSort>
extends KConstDecl<T>

Nested Classes
Modifier and Type	Class	Description
`public class`	`KFpDecl.Companion`

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

Constructors
Constructor	Description

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final KDecl<KBv1Sort>`	`getSign()`
`final KDecl<out KBvSort>`	`getSignificandBinary()`
`final KDecl<out KBvSort>`	`getUnbiasedExponentBinary()`

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

 final KDecl<out KBvSort> getSignificandBinary()

 final KDecl<out KBvSort> getUnbiasedExponentBinary()

Class KFpDecl