Z3
src/api/java/AlgebraicNum.java
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 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines