Package com.microsoft.z3

Class FPSort

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

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 Details

FPSort

public FPSort(Context ctx,
 long obj)

FPSort

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

Method Details

getEBits

public int getEBits()

The number of exponent bits.

getSBits

public int getSBits()

The number of significand bits.