Method isReal

src/api/java/Expr.java:448–451

Indicates whether the term is of sort real. @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isReal()
    {
        return Native.getSortKind(getContext().nCtx(), Native.getSort(getContext().nCtx(), getNativeObject())) == Z3_sort_kind.Z3_REAL_SORT.toInt();
    }

    /**
     * Indicates whether the term is an arithmetic numeral.