18 package com.microsoft.z3;
20 import java.math.BigInteger;
36 throw new Z3Exception(
"Numeral is not an int");
50 throw new Z3Exception(
"Numeral is not a long");
60 return new BigInteger(this.
toString());
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)