18package com.microsoft.z3;
38 return new RatNum(getContext(), Native.getAlgebraicNumberUpper(getContext()
39 .nCtx(), getNativeObject(), precision));
55 return new RatNum(getContext(), Native.getAlgebraicNumberLower(getContext()
56 .nCtx(), getNativeObject(), precision));
69 return Native.getNumeralDecimalString(getContext().nCtx(), getNativeObject(),
RatNum toUpper(int precision)
RatNum toLower(int precision)
String toDecimal(int precision)
def String(name, ctx=None)