FPRMSort (z3-turnkey 4.10.1 API)

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

All Implemented Interfaces:

Comparable<AST>
```
public class FPRMSort
extends Sort
```
The FloatingPoint RoundingMode sort

- Constructor Summary
  
  Constructors
  Constructor Description
  
  FPRMSort(Context ctx)
  
  FPRMSort(Context ctx, long obj)
- Method Summary
  - 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

FPRMSort
```
public FPRMSort(Context ctx)
```

FPRMSort

public FPRMSort(Context ctx,
                long obj)