17package com.microsoft.z3;
32 super(ctx, Native.mkFpaSort(ctx.
nCtx(), ebits, sbits));
39 return Native.fpaGetEbits(getContext().nCtx(), getNativeObject());
46 return Native.fpaGetSbits(getContext().nCtx(), getNativeObject());
FPSort(Context ctx, long obj)
FPSort(Context ctx, int ebits, int sbits)