Go to the documentation of this file.
18 package com.microsoft.z3;
20 import java.math.BigInteger;
String toDecimalString(int precision)
static long getDenominator(long a0, long a1)
BigInteger getBigIntNumerator()
static String getNumeralDecimalString(long a0, long a1, int a2)
BigInteger getBigIntDenominator()
static String getNumeralString(long a0, long a1)
static long getNumerator(long a0, long a1)
def String(name, ctx=None)