src/api/java/AlgebraicNum.java

Go to the documentation of this file.

package com.microsoft.z3;

public class AlgebraicNum extends ArithExpr
{
        public RatNum toUpper(int precision)
        {

                return new RatNum(getContext(), Native.getAlgebraicNumberUpper(getContext()
                                .nCtx(), getNativeObject(), precision));
        }

        public RatNum toLower(int precision)
        {

                return new RatNum(getContext(), Native.getAlgebraicNumberLower(getContext()
                                .nCtx(), getNativeObject(), precision));
        }

        public String toDecimal(int precision)
        {

                return Native.getNumeralDecimalString(getContext().nCtx(), getNativeObject(),
                                precision);
        }

        AlgebraicNum(Context ctx, long obj)
        {
                super(ctx, obj);

        }
}