FPSort (z3-turnkey 4.10.1 API)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.AST
  - - com.microsoft.z3.Sort
    - - com.microsoft.z3.FPSort

All Implemented Interfaces:

Comparable<AST>
```
public class FPSort
extends Sort
```
A FloatingPoint sort

- Constructor Summary
  
  Constructors
  Constructor Description
  
  FPSort(Context ctx, int ebits, int sbits)
  
  FPSort(Context ctx, long obj)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int getEBits()
  The number of exponent bits.
  
  int getSBits()
  The number of significand bits.
  - Methods inherited from class com.microsoft.z3.Sort
    equals, getId, getName, getSortKind, hashCode, toString, translate
  - Methods inherited from class com.microsoft.z3.AST
    compareTo, getASTKind, getSExpr, isApp, isExpr, isFuncDecl, isQuantifier, isSort, isVar
  - Methods inherited from class com.microsoft.z3.Z3Object
    arrayLength, arrayToNative
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FPSort

public FPSort(Context ctx,
              long obj)

FPSort

public FPSort(Context ctx,
              int ebits,
              int sbits)

Method Detail
- getEBits
```
public int getEBits()
```
  The number of exponent bits.
- getSBits
```
public int getSBits()
```
  The number of significand bits.