17 package com.microsoft.z3;
32 throw new Z3Exception(
"Sign is not a Boolean value");
33 return res.value != 0;
57 throw new Z3Exception(
"Significand is not a 64 bit unsigned integer");
76 throw new Z3Exception(
"Exponent is not a 64 bit integer");
95 return "Z3Exception: " + e.getMessage();
static String fpaGetNumeralExponentString(long a0, long a1)
static String getNumeralString(long a0, long a1)
static boolean fpaGetNumeralExponentInt64(long a0, long a1, LongPtr a2)
static String fpaGetNumeralSignificandString(long a0, long a1)
long getSignificandUInt64()
FPNum(Context ctx, long obj)
static boolean fpaGetNumeralSignificandUint64(long a0, long a1, LongPtr a2)
static boolean fpaGetNumeralSign(long a0, long a1, IntPtr a2)