Method isNumeral

src/api/java/Expr.java:242–245

Indicates whether the term is a numeral @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isNumeral()
    {
        return Native.isNumeralAst(getContext().nCtx(), getNativeObject());
    }

    /**
     * Indicates whether the term is well-sorted.