Method isAsArray

src/api/java/Expr.java:687–690

Indicates whether the term is an as-array term. Remarks: An as-array term is n array value that behaves as the function graph of the function passed as parameter. @throws Z3Exception on error @return a boolean

()

     * @return a boolean
     **/
    public boolean isAsArray()
    {
        return isApp() && getFuncDecl().getDeclKind() == Z3_decl_kind.Z3_OP_AS_ARRAY;
    }

    /**
     * Indicates whether the term is set union