Package com.microsoft.z3

Class FPRMSort

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 Details

FPRMSort

public FPRMSort(Context ctx)

FPRMSort

public FPRMSort(Context ctx,
 long obj)