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);
 
    }
}