18package com.microsoft.z3;
39 .nCtx(), getNativeObject(), precision));
56 .nCtx(), getNativeObject(), precision));
RatNum toUpper(int precision)
RatNum toLower(int precision)
String toDecimal(int precision)
static long getAlgebraicNumberUpper(long a0, long a1, int a2)
static String getNumeralDecimalString(long a0, long a1, int a2)
static long getAlgebraicNumberLower(long a0, long a1, int a2)
def String(name, ctx=None)