18package com.microsoft.z3;
20import java.math.BigInteger;
32 return new IntNum(getContext(), Native.getNumerator(getContext().nCtx(),
41 return new IntNum(getContext(), Native.getDenominator(getContext().nCtx(),
70 return Native.getNumeralDecimalString(getContext().nCtx(), getNativeObject(),
79 return Native.getNumeralString(getContext().nCtx(), getNativeObject());
BigInteger getBigIntDenominator()
BigInteger getBigIntNumerator()
String toDecimalString(int precision)
def String(name, ctx=None)