Method ToExprArray

src/api/java/ASTVector.java:121–127

Translates the AST vector into an Expr[]

()

     * Translates the AST vector into an Expr[]
     * */
    public Expr<?>[] ToExprArray() {
        int n = size();
        Expr<?>[] res = new Expr[n];
        for (int i = 0; i < n; i++)
            res[i] = Expr.create(getContext(), get(i).getNativeObject());
        return res;    
    }

    /**
     * Translates the AST vector into an BoolExpr[]