com.microsoft.z3

Class FPSort

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.FPSort

All Implemented Interfaces:

java.lang.Comparable<AST>

public class FPSort
extends Sort

A FloatingPoint sort

Constructor Summary

Constructors

Constructor and Description
FPSort(Context ctx, int ebits, int sbits)
FPSort(Context ctx, long obj)

Method Summary

Methods

Modifier and Type	Method and 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

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

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.