com.microsoft.z3

Class FPRMSort

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.FPRMSort

All Implemented Interfaces:

java.lang.Comparable<AST>

public class FPRMSort
extends Sort

The FloatingPoint RoundingMode sort

Constructor Summary

Constructors

Constructor and 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

Methods inherited from class com.microsoft.z3.AST

compareTo, getASTKind, getSExpr, isApp, isExpr, isFuncDecl, isQuantifier, isSort, isVar, translate

Methods inherited from class com.microsoft.z3.Z3Object

dispose, finalize

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FPRMSort

public FPRMSort(Context ctx)

FPRMSort

public FPRMSort(Context ctx,
        long obj)