18package com.microsoft.z3;
20import java.math.BigInteger;
34 Native.IntPtr res =
new Native.IntPtr();
35 if (!Native.getNumeralInt(getContext().nCtx(), getNativeObject(), res)) {
48 Native.LongPtr res =
new Native.LongPtr();
49 if (!Native.getNumeralInt64(getContext().nCtx(), getNativeObject(), res)) {
60 return new BigInteger(this.
toString());
69 return Native.getNumeralString(getContext().nCtx(), getNativeObject());
77 return Native.getNumeralBinaryString(getContext().nCtx(), getNativeObject());
BigInteger getBigInteger()
def String(name, ctx=None)