
public final class KFp128Decl
extends KFpDecl<KFp128Sort>

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final KBitVecValue<?>`	`significand`
`private final KBitVecValue<?>`	`unbiasedExponent`
`private final Boolean`	`signBit`
`private final KDecl<KBv1Sort>`	`sign`
`private final KDecl<out KBvSort>`	`significandBinary`
`private final KDecl<out KBvSort>`	`unbiasedExponentBinary`
`private final String`	`name`
`private final KFp128Sort`	`sort`
`private final List<KSort>`	`argSorts`
`private final KContext`	`ctx`

Constructors
Constructor	Description

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final KBitVecValue<?>`	`getSignificand()`
`final KBitVecValue<?>`	`getUnbiasedExponent()`
`final Boolean`	`getSignBit()`
`KApp<KFp128Sort, ?>`	`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

 final KBitVecValue<?> getUnbiasedExponent()

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

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

Class KFp128Decl