Method isIntNum

src/api/java/Expr.java:284–287

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

()

     * @return a boolean
     **/
    public boolean isIntNum()
    {
        return isNumeral() && isInt();
    }

    /**
     * Indicates whether the term is a real numeral.