Method isConst

src/api/java/Expr.java:274–277

Indicates whether the term represents a constant. @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isConst()
    {
        return isApp() && getNumArgs() == 0 && getFuncDecl().getDomainSize() == 0;
    }

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