Go to the documentation of this file.00001
00018 package com.microsoft.z3;
00019
00023 public class AlgebraicNum extends ArithExpr
00024 {
00033 public RatNum toUpper(int precision) throws Z3Exception
00034 {
00035
00036 return new RatNum(getContext(), Native.getAlgebraicNumberUpper(getContext()
00037 .nCtx(), getNativeObject(), precision));
00038 }
00039
00047 public RatNum toLower(int precision) throws Z3Exception
00048 {
00049
00050 return new RatNum(getContext(), Native.getAlgebraicNumberLower(getContext()
00051 .nCtx(), getNativeObject(), precision));
00052 }
00053
00058 public String toDecimal(int precision) throws Z3Exception
00059 {
00060
00061 return Native.getNumeralDecimalString(getContext().nCtx(), getNativeObject(),
00062 precision);
00063 }
00064
00065 AlgebraicNum(Context ctx, long obj) throws Z3Exception
00066 {
00067 super(ctx, obj);
00068
00069 }
00070 }