18 package com.microsoft.z3;
20 import java.math.BigInteger;
60 return new BigInteger(this.
toString());
73 return "Z3Exception: " + e.getMessage();
BigInteger getBigInteger()
static boolean getNumeralInt(long a0, long a1, IntPtr a2)
static String getNumeralString(long a0, long a1)
static boolean getNumeralInt64(long a0, long a1, LongPtr a2)